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 9 年 前
keyboardShortcuts.styl 5763714d22 Enphasize keyboard shortcuts with a dedicated style 9 年 前
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 9 年 前
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 9 年 前
spinner.tpl.jade 2dbea30842 Renaissance 10 年 前