css: clean up and remove redundant stuff from header styling.

By accident the spacing between items was 1.75rem, now it's 2rem. Maybe
too much (but perfectly okay for submenus and the mobile layout), might
change later.

diff --git a/css/m-components.css b/css/m-components.css
index 8d6b18f994833dbf3c97c17b7f2a8c60d19b2a37..928e159b62b489dbdb8fada3c25bace5e6fff253 100644 (file)
--- a/css/m-components.css
+++ b/css/m-components.css
@@ -171,16 +171,17 @@ body > header > nav {
 body > header > nav a {
   text-decoration: var(--link-decoration-nav);
   text-transform: var(--nav-menu-case);
-  line-height: 1.5rem;
   display: inline-block;
   vertical-align: middle;
+  line-height: 2.75rem;
   color: var(--header-link-color);
 }
 body > header > nav a#m-navbar-brand, body > header > nav a#m-navbar-show, body > header > nav a#m-navbar-hide {
   text-transform: var(--nav-brand-case);
   font-weight: var(--heading-font-weight);
   font-size: 1.125rem;
-  line-height: 3rem;
+  padding-left: 1rem;
+  padding-right: 1rem;
 }
 body > header > nav a#m-navbar-brand .m-thin {
   font-weight: normal;
@@ -200,6 +201,7 @@ body > header > nav #m-navbar-collapse li {
 body > header > nav #m-navbar-collapse li a {
   border-style: solid;
   border-color: transparent;
+  line-height: 1.5rem;
   margin-left: -0.25rem;
   padding-left: 0.75rem;
   border-width: 0 0 0 0.25rem;
@@ -261,8 +263,10 @@ body > header > nav:target #m-navbar-hide {
   body > header > nav:target #m-navbar-show, body > header > nav:target #m-navbar-hide {
     display: none;
   }
-  body > header > nav a {
-    line-height: 3rem;
+  body > header > nav #m-navbar-collapse li a {
+    line-height: 2.75rem;
+  }
+  body > header > nav a, body > header > nav #m-navbar-collapse li a {
     margin-left: 0;
     padding-left: 1rem;
     padding-right: 1rem;
@@ -280,16 +284,13 @@ body > header > nav:target #m-navbar-hide {
     border-left-width: 0;
   }
   body > header > nav #m-navbar-collapse ol ol li a {
-    margin-left: 0;
     padding-left: 0.75rem;
   }
   body > header > nav #m-navbar-collapse > .m-row > ol > li {
     margin-left: 0;
     border-left-width: 0;
   }
-  body > header > nav a#m-navbar-brand, body > header > nav #m-navbar-collapse > .m-row > ol > li > a {
-    line-height: 2.75rem;
-    margin-left: 0;
+  body > header > nav #m-navbar-collapse > .m-row > ol > li > a {
     border-width: var(--header-border-width);
   }
   body > header > nav #m-navbar-collapse ol {

diff --git a/css/m-dark+doxygen.compiled.css b/css/m-dark+doxygen.compiled.css
index 6cd94cd2ab90fc2b7b71db747b0d294c45a5e8bc..82c1a4f6b921b14637af7f7f8353aae8479473b9 100644 (file)
--- a/css/m-dark+doxygen.compiled.css
+++ b/css/m-dark+doxygen.compiled.css
@@ -528,16 +528,17 @@ body > header > nav {
 body > header > nav a {
   text-decoration: none;
   text-transform: none;
-  line-height: 1.5rem;
   display: inline-block;
   vertical-align: middle;
+  line-height: 2.75rem;
   color: #ffffff;
 }
 body > header > nav a#m-navbar-brand, body > header > nav a#m-navbar-show, body > header > nav a#m-navbar-hide {
   text-transform: uppercase;
   font-weight: bold;
   font-size: 1.125rem;
-  line-height: 3rem;
+  padding-left: 1rem;
+  padding-right: 1rem;
 }
 body > header > nav a#m-navbar-brand .m-thin {
   font-weight: normal;
@@ -557,6 +558,7 @@ body > header > nav #m-navbar-collapse li {
 body > header > nav #m-navbar-collapse li a {
   border-style: solid;
   border-color: transparent;
+  line-height: 1.5rem;
   margin-left: -0.25rem;
   padding-left: 0.75rem;
   border-width: 0 0 0 0.25rem;
@@ -614,8 +616,10 @@ body > header > nav:target #m-navbar-hide {
   body > header > nav:target #m-navbar-show, body > header > nav:target #m-navbar-hide {
     display: none;
   }
-  body > header > nav a {
-    line-height: 3rem;
+  body > header > nav #m-navbar-collapse li a {
+    line-height: 2.75rem;
+  }
+  body > header > nav a, body > header > nav #m-navbar-collapse li a {
     margin-left: 0;
     padding-left: 1rem;
     padding-right: 1rem;
@@ -633,16 +637,13 @@ body > header > nav:target #m-navbar-hide {
     border-left-width: 0;
   }
   body > header > nav #m-navbar-collapse ol ol li a {
-    margin-left: 0;
     padding-left: 0.75rem;
   }
   body > header > nav #m-navbar-collapse > .m-row > ol > li {
     margin-left: 0;
     border-left-width: 0;
   }
-  body > header > nav a#m-navbar-brand, body > header > nav #m-navbar-collapse > .m-row > ol > li > a {
-    line-height: 2.75rem;
-    margin-left: 0;
+  body > header > nav #m-navbar-collapse > .m-row > ol > li > a {
     border-width: 0 0 0.25rem 0;
   }
   body > header > nav #m-navbar-collapse ol {

diff --git a/css/m-dark.compiled.css b/css/m-dark.compiled.css
index ea406f575675cc3038f4296742aa114e5a1f9e99..8dd12f7ea91c419419b0252f7e4d71582b2910bd 100644 (file)
--- a/css/m-dark.compiled.css
+++ b/css/m-dark.compiled.css
@@ -528,16 +528,17 @@ body > header > nav {
 body > header > nav a {
   text-decoration: none;
   text-transform: none;
-  line-height: 1.5rem;
   display: inline-block;
   vertical-align: middle;
+  line-height: 2.75rem;
   color: #ffffff;
 }
 body > header > nav a#m-navbar-brand, body > header > nav a#m-navbar-show, body > header > nav a#m-navbar-hide {
   text-transform: uppercase;
   font-weight: bold;
   font-size: 1.125rem;
-  line-height: 3rem;
+  padding-left: 1rem;
+  padding-right: 1rem;
 }
 body > header > nav a#m-navbar-brand .m-thin {
   font-weight: normal;
@@ -557,6 +558,7 @@ body > header > nav #m-navbar-collapse li {
 body > header > nav #m-navbar-collapse li a {
   border-style: solid;
   border-color: transparent;
+  line-height: 1.5rem;
   margin-left: -0.25rem;
   padding-left: 0.75rem;
   border-width: 0 0 0 0.25rem;
@@ -614,8 +616,10 @@ body > header > nav:target #m-navbar-hide {
   body > header > nav:target #m-navbar-show, body > header > nav:target #m-navbar-hide {
     display: none;
   }
-  body > header > nav a {
-    line-height: 3rem;
+  body > header > nav #m-navbar-collapse li a {
+    line-height: 2.75rem;
+  }
+  body > header > nav a, body > header > nav #m-navbar-collapse li a {
     margin-left: 0;
     padding-left: 1rem;
     padding-right: 1rem;
@@ -633,16 +637,13 @@ body > header > nav:target #m-navbar-hide {
     border-left-width: 0;
   }
   body > header > nav #m-navbar-collapse ol ol li a {
-    margin-left: 0;
     padding-left: 0.75rem;
   }
   body > header > nav #m-navbar-collapse > .m-row > ol > li {
     margin-left: 0;
     border-left-width: 0;
   }
-  body > header > nav a#m-navbar-brand, body > header > nav #m-navbar-collapse > .m-row > ol > li > a {
-    line-height: 2.75rem;
-    margin-left: 0;
+  body > header > nav #m-navbar-collapse > .m-row > ol > li > a {
     border-width: 0 0 0.25rem 0;
   }
   body > header > nav #m-navbar-collapse ol {

diff --git a/css/m-light+doxygen.compiled.css b/css/m-light+doxygen.compiled.css
index 7936122037f16e1312dd1e9fc321fa92d73731c8..91174f5db8204720efaa5a08a1983201db778f06 100644 (file)
--- a/css/m-light+doxygen.compiled.css
+++ b/css/m-light+doxygen.compiled.css
@@ -528,16 +528,17 @@ body > header > nav {
 body > header > nav a {
   text-decoration: none;
   text-transform: lowercase;
-  line-height: 1.5rem;
   display: inline-block;
   vertical-align: middle;
+  line-height: 2.75rem;
   color: #000000;
 }
 body > header > nav a#m-navbar-brand, body > header > nav a#m-navbar-show, body > header > nav a#m-navbar-hide {
   text-transform: lowercase;
   font-weight: normal;
   font-size: 1.125rem;
-  line-height: 3rem;
+  padding-left: 1rem;
+  padding-right: 1rem;
 }
 body > header > nav a#m-navbar-brand .m-thin {
   font-weight: normal;
@@ -557,6 +558,7 @@ body > header > nav #m-navbar-collapse li {
 body > header > nav #m-navbar-collapse li a {
   border-style: solid;
   border-color: transparent;
+  line-height: 1.5rem;
   margin-left: -0.25rem;
   padding-left: 0.75rem;
   border-width: 0 0 0 0.25rem;
@@ -614,8 +616,10 @@ body > header > nav:target #m-navbar-hide {
   body > header > nav:target #m-navbar-show, body > header > nav:target #m-navbar-hide {
     display: none;
   }
-  body > header > nav a {
-    line-height: 3rem;
+  body > header > nav #m-navbar-collapse li a {
+    line-height: 2.75rem;
+  }
+  body > header > nav a, body > header > nav #m-navbar-collapse li a {
     margin-left: 0;
     padding-left: 1rem;
     padding-right: 1rem;
@@ -633,16 +637,13 @@ body > header > nav:target #m-navbar-hide {
     border-left-width: 0;
   }
   body > header > nav #m-navbar-collapse ol ol li a {
-    margin-left: 0;
     padding-left: 0.75rem;
   }
   body > header > nav #m-navbar-collapse > .m-row > ol > li {
     margin-left: 0;
     border-left-width: 0;
   }
-  body > header > nav a#m-navbar-brand, body > header > nav #m-navbar-collapse > .m-row > ol > li > a {
-    line-height: 2.75rem;
-    margin-left: 0;
+  body > header > nav #m-navbar-collapse > .m-row > ol > li > a {
     border-width: 0.25rem 0 0 0;
   }
   body > header > nav #m-navbar-collapse ol {

diff --git a/css/m-light.compiled.css b/css/m-light.compiled.css
index 84b759a25f6b407bdf86399b3e6f367671933f5a..5c57695658d8c7943d3855c6177b3e447283f40a 100644 (file)
--- a/css/m-light.compiled.css
+++ b/css/m-light.compiled.css
@@ -528,16 +528,17 @@ body > header > nav {
 body > header > nav a {
   text-decoration: none;
   text-transform: lowercase;
-  line-height: 1.5rem;
   display: inline-block;
   vertical-align: middle;
+  line-height: 2.75rem;
   color: #000000;
 }
 body > header > nav a#m-navbar-brand, body > header > nav a#m-navbar-show, body > header > nav a#m-navbar-hide {
   text-transform: lowercase;
   font-weight: normal;
   font-size: 1.125rem;
-  line-height: 3rem;
+  padding-left: 1rem;
+  padding-right: 1rem;
 }
 body > header > nav a#m-navbar-brand .m-thin {
   font-weight: normal;
@@ -557,6 +558,7 @@ body > header > nav #m-navbar-collapse li {
 body > header > nav #m-navbar-collapse li a {
   border-style: solid;
   border-color: transparent;
+  line-height: 1.5rem;
   margin-left: -0.25rem;
   padding-left: 0.75rem;
   border-width: 0 0 0 0.25rem;
@@ -614,8 +616,10 @@ body > header > nav:target #m-navbar-hide {
   body > header > nav:target #m-navbar-show, body > header > nav:target #m-navbar-hide {
     display: none;
   }
-  body > header > nav a {
-    line-height: 3rem;
+  body > header > nav #m-navbar-collapse li a {
+    line-height: 2.75rem;
+  }
+  body > header > nav a, body > header > nav #m-navbar-collapse li a {
     margin-left: 0;
     padding-left: 1rem;
     padding-right: 1rem;
@@ -633,16 +637,13 @@ body > header > nav:target #m-navbar-hide {
     border-left-width: 0;
   }
   body > header > nav #m-navbar-collapse ol ol li a {
-    margin-left: 0;
     padding-left: 0.75rem;
   }
   body > header > nav #m-navbar-collapse > .m-row > ol > li {
     margin-left: 0;
     border-left-width: 0;
   }
-  body > header > nav a#m-navbar-brand, body > header > nav #m-navbar-collapse > .m-row > ol > li > a {
-    line-height: 2.75rem;
-    margin-left: 0;
+  body > header > nav #m-navbar-collapse > .m-row > ol > li > a {
     border-width: 0.25rem 0 0 0;
   }
   body > header > nav #m-navbar-collapse ol {