4 commits

Author	SHA1	Message	Date
Pieter Vander Vennet	8cb02da127	Add documentation on themes, move some themes around	2022-11-30 21:38:50 +01:00
pietervdvn	25f956c808	Autoreformat all the things	2022-01-18 18:52:42 +01:00
pietervdvn	c998cc5c7f	Resize all SVG images	2022-01-06 20:54:00 +01:00
pietervdvn	89004af7f9	Further work on GRB, bugfixes	2021-12-06 03:24:33 +01:00