Lauri Ojansivu d60cd71e64 Fix fonts. Still looking for better solution for #707 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 02e381f694 invoke new component from headerBar hace 8 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 10 años
layouts.jade 862ce27eb9 Set IE compatibility mode to Edge to so that hace 8 años
layouts.js 1dfb6ef477 Admin panel: hace 8 años
layouts.styl d60cd71e64 Fix fonts. Still looking for better solution for #707 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