4 Commits

Author	SHA1	Message	Date
Florine W. Dekker	527b52069b	Remove redundant colours ... Fixes #25.	2022-11-20 22:56:59 +01:00
Florine W. Dekker	2702e00880	Experimentally sort-of migrate to pico.css ... First step towards fixing #21.	2022-11-19 01:31:37 +01:00
Florine W. Dekker	764348ad6d	Deprecate nav.css ... No need to update major version because it's not used anywhere.	2021-04-22 16:22:41 +02:00
Florine W. Dekker	86d6783ccc	Rename main exported files ... Also add a page for test purposes, and change the layout of the CSS files a bit.	2021-04-21 23:55:54 +02:00