eclipse 3a641da3c9 small fixes		2025-02-10 14:55:04 +01:00
..
static	navbar item corresponding to current page now gets underlined	2025-02-09 12:31:04 +01:00
templates	small fixes	2025-02-10 14:55:04 +01:00