Florine W. Dekker 4aa27c567a Use bold labels ... Fixes #28.		2022-11-23 01:00:40 +01:00
..
css	Use bold labels	2022-11-23 01:00:40 +01:00
js	Rewrite nav bar	2022-11-23 00:58:13 +01:00