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
..
css	Revert "Merge branch 'joriks/horizontal-resize-bars' into 'element'"	2020-07-14 18:45:01 -06:00
fonts	…
img	…
media	…
themes	Make custom themes acceptable with recent changes for element theme	2020-07-15 10:38:24 +02:00