css: fix top navbar background on small screen sizes.

diff --git a/css/m-components.css b/css/m-components.css
index 45a6f4010ab0ce9200adb6b32c69fc0770a8bd16..442304796580d87b857ad4ffbd443fcc3cd105b3 100644 (file)
--- a/css/m-components.css
+++ b/css/m-components.css
@@ -125,7 +125,7 @@ code {
 body > header > nav {
   width: 100%;
   background-color: var(--header-background-color);
-  height: 3rem;
+  min-height: 3rem;
 }
 body > header > nav.m-navbar-landing,
 body > header > nav.m-navbar-jumbo {