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