Bruno Windels 25d3257d80 rename element(-dark) to light/dark so old prefs apply		2020-07-14 18:39:14 +02:00
..
dark/css	rename element(-dark) to light/dark so old prefs apply	2020-07-14 18:39:14 +02: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	rename element(-dark) to light/dark so old prefs apply	2020-07-14 18:39:14 +02:00
light-custom/css	rename element(-dark) to light/dark so old prefs apply	2020-07-14 18:39:14 +02:00