Mario Orlicky 35778d2673 fixed few overseights 9 tahun lalu
..
editor.jade 80a4bdd417 Merge, move, and rename the main stylus file 10 tahun lalu
editor.js 301210c87b Fix eslint testing 9 tahun lalu
fonts.styl 8ae6abe603 Switch the font to roboto 10 tahun lalu
header.jade 27a58c18ee Implement a disconnected indicator 9 tahun lalu
header.js 27a58c18ee Implement a disconnected indicator 9 tahun lalu
header.styl 27a58c18ee Implement a disconnected indicator 9 tahun lalu
keyboardShortcuts.jade 71b9a42f00 Allow the header bar customization 10 tahun lalu
keyboardShortcuts.styl 5763714d22 Enphasize keyboard shortcuts with a dedicated style 10 tahun lalu
layouts.jade 55bd26dc9c Optimize login form layout & css 10 tahun lalu
layouts.js ec130d4480 add: use user preferred lang for user form, and allow selecting 10 tahun lalu
layouts.styl 35778d2673 fixed few overseights 9 tahun lalu
popup.js b3851817ec Enforce a consistent ES6 coding style 10 tahun lalu
popup.styl 354eff9f7b add: support compact mode for mobile web, auto adapt to small screen/window 10 tahun lalu
popup.tpl.jade 0b6c229b6c Define the popup translation in the stylesheet, not in the JS code 10 tahun lalu
spinner.styl 8b5fd09ff3 Fix layout on Apple devices 10 tahun lalu
spinner.tpl.jade 2dbea30842 Renaissance 10 tahun lalu