Bruno Windels eb706951db dark theme color adjustments		2020-07-09 19:15:44 +02:00
..
dark/css	fix tooltip bg colors	2020-07-06 15:40:30 +02:00
dark-custom/css	Use variables for the rem values.	2020-03-31 15:26:23 +01:00
element/css	Revert "also blur the sticky headers"	2020-07-08 15:47:01 +02:00
element-dark/css	dark theme color adjustments	2020-07-09 19:15:44 +02:00
light/css	Merge branch 'develop' into element	2020-07-08 15:50:17 +02:00
light-custom/css	allow changing the font-family	2020-06-23 17:53:40 +02:00