css: sane default height of the top navpanel.

So it's not too tiny when there's nothing inside.

diff --git a/css/m-components.css b/css/m-components.css
index 37d03a579ffa94115edc3ac1fba8b7e624b251f9..9278b8ccbf653034864fd5cdaa06e3e81d475cea 100644 (file)
--- a/css/m-components.css
+++ b/css/m-components.css
@@ -100,6 +100,7 @@ code {
 body > header > nav {
   width: 100%;
   background-color: var(--header-background-color);
+  height: 3rem;
 }
 body > header > nav.m-navbar-landing,
 body > header > nav.m-navbar-jumbo {