Pieter Vander Vennet 7e852dd7e3 Move various tabs into buttons, more work on a11y		2023-12-20 02:50:08 +01:00
..
layers	Move various tabs into buttons, more work on a11y	2023-12-20 02:50:08 +01:00
svg	Better compass arrow	2023-12-18 01:30:02 +01:00
themes	Merge master	2023-12-19 23:04:37 +01:00