Lauri Ojansivu d60cd71e64 Fix fonts. Still looking for better solution for #707		2017-03-24 21:45:03 +02:00
..
editor.jade	Merge, move, and rename the main stylus file	2015-06-16 23:06:06 +02:00
editor.js	Fix eslint testing	2016-07-21 12:52:32 +02:00
fonts.styl	Switch the font to roboto	2015-08-20 15:59:00 +02:00
header.jade	Implement a disconnected indicator	2016-07-20 18:04:16 +02:00
header.js	invoke new component from headerBar	2017-02-22 17:34:57 +05:30
header.styl	Implement a disconnected indicator	2016-07-20 18:04:16 +02:00
keyboardShortcuts.jade	Allow the header bar customization	2015-12-09 19:10:26 -05:00
keyboardShortcuts.styl	Enphasize keyboard shortcuts with a dedicated style	2015-11-25 09:39:29 -08:00
layouts.jade	Set IE compatibility mode to Edge to so that	2017-03-15 01:25:48 +02:00
layouts.js	Admin panel:	2017-02-24 22:10:38 +08:00
layouts.styl	Fix fonts. Still looking for better solution for #707	2017-03-24 21:45:03 +02:00
popup.js	Enforce a consistent ES6 coding style	2015-09-03 23:12:46 +02:00
popup.styl	add: support compact mode for mobile web, auto adapt to small screen/window	2015-12-17 14:23:35 +08:00
popup.tpl.jade	Define the popup translation in the stylesheet, not in the JS code	2015-06-09 17:41:55 +02:00
spinner.styl	Fix layout on Apple devices	2016-01-02 14:26:48 +01:00
spinner.tpl.jade	Renaissance	2015-05-12 19:33:50 +02:00