Florine W. Dekker 2e33b8d762 Use mouse-enabled navbar for mobile ... Works towards fixing #35.		2022-11-24 17:38:08 +01:00
..
css	Use mouse-enabled navbar for mobile	2022-11-24 17:38:08 +01:00
js	Use mouse-enabled navbar for mobile	2022-11-24 17:38:08 +01:00