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