3 Commits

Author	SHA1	Message	Date
Mathieu David	5891e4b5db	Fix bug where theme-popup was under the navigation arrows making it impossible to change the theme	2016-02-16 08:50:57 +01:00
Mathieu David	0b00c270d5	Fix a style bug caused by the insertion of the theme-popup div inside font awesome icon <i> ... The div is now inserted after the <i>, the text color has also been changed to the foreground color and the "(default)" text that indicates the default theme is now grey to contrast with the theme name Fixes #97	2016-02-03 17:55:19 +01:00
Mathieu David	bd99a4382f	Converted all css to stylus	2015-09-18 22:13:55 +02:00