jordi fita mas 6ef551a846 Move top-level navigation bar inside body’s header ... This is mostly to save on vertical space, since the header was almost useless but took a lot of screen real estate.		2024-09-04 12:38:37 +02:00
..
static	Move top-level navigation bar inside body’s header	2024-09-04 12:38:37 +02:00
template	Move top-level navigation bar inside body’s header	2024-09-04 12:38:37 +02:00