Florine W. Dekker 2d46bf1969 Rewrite nav bar ... Fixes #31. Also resolves some small issues with incorrect margins and such.		2022-11-23 00:58:13 +01:00
..
index.html	Rewrite nav bar	2022-11-23 00:58:13 +01:00