Bruno Windels 7ca8b27dc1 Make custom themes acceptable with recent changes for element theme ...

Note that custom themes are still based on the old theme, now called legacy-light/dark

2020-07-15 10:38:24 +02:00

..

dark/css

Fix user info section headers on the dark theme

2020-07-14 14:15:24 -06:00

dark-custom/css

rename element(-dark) to light/dark so old prefs apply

2020-07-14 18:39:14 +02:00

legacy-dark/css

rename element(-dark) to light/dark so old prefs apply

2020-07-14 18:39:14 +02:00

legacy-light/css

rename element(-dark) to light/dark so old prefs apply

2020-07-14 18:39:14 +02:00

light/css

Merge branch 'bwindel/polish' into 'element'

2020-07-14 19:35:41 +00:00

light-custom/css

Make custom themes acceptable with recent changes for element theme

2020-07-15 10:38:24 +02:00