Pieter Vander Vennet 4644b6ae55 Themes: add 'pedagogy', fix #1839		2024-07-09 14:41:20 +02:00
..
layers	Themes: add 'pedagogy', fix #1839	2024-07-09 14:41:20 +02:00
png	Housekeeping: formatting	2024-02-20 13:33:38 +01:00
svg	More style tweaks to usersettings	2024-06-18 03:59:35 +02:00
themes	Many tweaks to use MC in an iframe with less clutter	2024-06-27 17:37:34 +02:00