Lauri Ojansivu d60cd71e64 Fix fonts. Still looking for better solution for #707 před 8 roky
..
editor.jade 80a4bdd417 Merge, move, and rename the main stylus file před 10 roky
editor.js 301210c87b Fix eslint testing před 9 roky
fonts.styl 8ae6abe603 Switch the font to roboto před 10 roky
header.jade 27a58c18ee Implement a disconnected indicator před 9 roky
header.js 02e381f694 invoke new component from headerBar před 8 roky
header.styl 27a58c18ee Implement a disconnected indicator před 9 roky
keyboardShortcuts.jade 71b9a42f00 Allow the header bar customization před 9 roky
keyboardShortcuts.styl 5763714d22 Enphasize keyboard shortcuts with a dedicated style před 9 roky
layouts.jade 862ce27eb9 Set IE compatibility mode to Edge to so that před 8 roky
layouts.js 1dfb6ef477 Admin panel: před 8 roky
layouts.styl d60cd71e64 Fix fonts. Still looking for better solution for #707 před 8 roky
popup.js b3851817ec Enforce a consistent ES6 coding style před 10 roky
popup.styl 354eff9f7b add: support compact mode for mobile web, auto adapt to small screen/window před 9 roky
popup.tpl.jade 0b6c229b6c Define the popup translation in the stylesheet, not in the JS code před 10 roky
spinner.styl 8b5fd09ff3 Fix layout on Apple devices před 9 roky
spinner.tpl.jade 2dbea30842 Renaissance před 10 roky