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	…
legacy-dark/css	…
legacy-light/css	…
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