From: Vladimír Vondruš <mosra@centrum.cz>
Date: Wed, 11 Oct 2017 19:34:34 +0000 (+0200)
Subject: css: sane default height of the top navpanel.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~cjwatson/git?a=commitdiff_plain;h=7ac7a09c9d59092824da1e1ac102fe03a4bb43b6;p=blog.git

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 37d03a57..9278b8cc 100644
--- 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 {