css: updated postprocessed files.

diff --git a/css/m-dark+doxygen.compiled.css b/css/m-dark+doxygen.compiled.css
index 8aeca57a060472fdeae0b0aacb23e0ccd62b066d..175141dbbdbf4ee634d1962fdf553daa135aef17 100644 (file)
--- a/css/m-dark+doxygen.compiled.css
+++ b/css/m-dark+doxygen.compiled.css
@@ -781,7 +781,7 @@ article section > h4 a, article section > h5 a, article section > h6 a {
 }
 #m-landing-image, #m-cover-image, article#m-jumbo > header #m-jumbo-image {
   background-size: cover;
-  background-color: #222222;
+  background-color: #0f1217;
   background-position: center center;
   background-repeat: no-repeat;
   margin-top: -4rem;
@@ -794,6 +794,13 @@ article section > h4 a, article section > h5 a, article section > h6 a {
   height: 30rem;
   margin-bottom: -26rem;
 }
+#m-landing-cover h1 {
+  font-size: 2.8rem;
+  margin-top: -0.5rem;
+  padding-left: 1.5rem;
+  padding-bottom: 1rem;
+  text-transform: lowercase;
+}
 #m-landing-cover {
   padding-bottom: 10rem;
   margin-bottom: -6rem;
@@ -801,11 +808,6 @@ article section > h4 a, article section > h5 a, article section > h6 a {
 article#m-jumbo {
   margin-top: -1rem;
 }
-article#m-jumbo > header #m-jumbo-image {
-  font-size: 2.5vh;
-  height: 60vh;
-  margin-bottom: 1rem;
-}
 #m-landing-cover, #m-cover-image > div, article#m-jumbo > header #m-jumbo-cover {
   background: linear-gradient(transparent 0%, transparent 50%, #2f363f 100%);
   width: 100%;
@@ -815,14 +817,29 @@ article#m-jumbo > header h1, article#m-jumbo > header h2 {
   text-align: center;
   font-weight: bold;
 }
+article#m-jumbo > header a {
+  text-decoration: none;
+}
+article#m-jumbo > header #m-jumbo-cover {
+  padding-bottom: 5rem;
+}
+article#m-jumbo > header #m-jumbo-image {
+  font-size: 2.5vmin;
+  margin-bottom: -3rem;
+}
 article#m-jumbo > header h1 {
-  font-size: 10vh;
+  font-size: 10vmin;
 }
 article#m-jumbo > header h2 {
-  font-size: 3vh;
+  font-size: 3vmin;
 }
-article#m-jumbo > header a {
-  text-decoration: none;
+@media screen and (max-height: 640px) , screen and (max-width: 640px) {
+  article#m-jumbo > header h1 {
+    font-size: 3rem;
+  }
+  article#m-jumbo > header #m-jumbo-image, article#m-jumbo > header h2 {
+    font-size: 1rem;
+  }
 }
 article#m-jumbo > header, article#m-jumbo > header h1, article#m-jumbo > header a {
   color: #ffffff;

diff --git a/css/m-dark.compiled.css b/css/m-dark.compiled.css
index ef5e9e72f7806f05652bc37bcbe347928334bdee..6650eab8573873365adcea4bc86528f77817f6fc 100644 (file)
--- a/css/m-dark.compiled.css
+++ b/css/m-dark.compiled.css
@@ -781,7 +781,7 @@ article section > h4 a, article section > h5 a, article section > h6 a {
 }
 #m-landing-image, #m-cover-image, article#m-jumbo > header #m-jumbo-image {
   background-size: cover;
-  background-color: #222222;
+  background-color: #0f1217;
   background-position: center center;
   background-repeat: no-repeat;
   margin-top: -4rem;
@@ -794,6 +794,13 @@ article section > h4 a, article section > h5 a, article section > h6 a {
   height: 30rem;
   margin-bottom: -26rem;
 }
+#m-landing-cover h1 {
+  font-size: 2.8rem;
+  margin-top: -0.5rem;
+  padding-left: 1.5rem;
+  padding-bottom: 1rem;
+  text-transform: lowercase;
+}
 #m-landing-cover {
   padding-bottom: 10rem;
   margin-bottom: -6rem;
@@ -801,11 +808,6 @@ article section > h4 a, article section > h5 a, article section > h6 a {
 article#m-jumbo {
   margin-top: -1rem;
 }
-article#m-jumbo > header #m-jumbo-image {
-  font-size: 2.5vh;
-  height: 60vh;
-  margin-bottom: 1rem;
-}
 #m-landing-cover, #m-cover-image > div, article#m-jumbo > header #m-jumbo-cover {
   background: linear-gradient(transparent 0%, transparent 50%, #2f363f 100%);
   width: 100%;
@@ -815,14 +817,29 @@ article#m-jumbo > header h1, article#m-jumbo > header h2 {
   text-align: center;
   font-weight: bold;
 }
+article#m-jumbo > header a {
+  text-decoration: none;
+}
+article#m-jumbo > header #m-jumbo-cover {
+  padding-bottom: 5rem;
+}
+article#m-jumbo > header #m-jumbo-image {
+  font-size: 2.5vmin;
+  margin-bottom: -3rem;
+}
 article#m-jumbo > header h1 {
-  font-size: 10vh;
+  font-size: 10vmin;
 }
 article#m-jumbo > header h2 {
-  font-size: 3vh;
+  font-size: 3vmin;
 }
-article#m-jumbo > header a {
-  text-decoration: none;
+@media screen and (max-height: 640px) , screen and (max-width: 640px) {
+  article#m-jumbo > header h1 {
+    font-size: 3rem;
+  }
+  article#m-jumbo > header #m-jumbo-image, article#m-jumbo > header h2 {
+    font-size: 1rem;
+  }
 }
 article#m-jumbo > header, article#m-jumbo > header h1, article#m-jumbo > header a {
   color: #ffffff;

diff --git a/css/m-light+doxygen.compiled.css b/css/m-light+doxygen.compiled.css
index 4213059c5a739b516938281558116f2bdf9c3c14..e85f82f42efcb6e15cd45516e75636e2ef033d02 100644 (file)
--- a/css/m-light+doxygen.compiled.css
+++ b/css/m-light+doxygen.compiled.css
@@ -794,6 +794,13 @@ article section > h4 a, article section > h5 a, article section > h6 a {
   height: 30rem;
   margin-bottom: -26rem;
 }
+#m-landing-cover h1 {
+  font-size: 2.8rem;
+  margin-top: -0.5rem;
+  padding-left: 1.5rem;
+  padding-bottom: 1rem;
+  text-transform: lowercase;
+}
 #m-landing-cover {
   padding-bottom: 10rem;
   margin-bottom: -6rem;
@@ -801,11 +808,6 @@ article section > h4 a, article section > h5 a, article section > h6 a {
 article#m-jumbo {
   margin-top: -1rem;
 }
-article#m-jumbo > header #m-jumbo-image {
-  font-size: 2.5vh;
-  height: 60vh;
-  margin-bottom: 1rem;
-}
 #m-landing-cover, #m-cover-image > div, article#m-jumbo > header #m-jumbo-cover {
   background: linear-gradient(transparent 0%, transparent 50%, #ffffff 100%);
   width: 100%;
@@ -815,14 +817,29 @@ article#m-jumbo > header h1, article#m-jumbo > header h2 {
   text-align: center;
   font-weight: bold;
 }
+article#m-jumbo > header a {
+  text-decoration: none;
+}
+article#m-jumbo > header #m-jumbo-cover {
+  padding-bottom: 5rem;
+}
+article#m-jumbo > header #m-jumbo-image {
+  font-size: 2.5vmin;
+  margin-bottom: -3rem;
+}
 article#m-jumbo > header h1 {
-  font-size: 10vh;
+  font-size: 10vmin;
 }
 article#m-jumbo > header h2 {
-  font-size: 3vh;
+  font-size: 3vmin;
 }
-article#m-jumbo > header a {
-  text-decoration: none;
+@media screen and (max-height: 640px) , screen and (max-width: 640px) {
+  article#m-jumbo > header h1 {
+    font-size: 3rem;
+  }
+  article#m-jumbo > header #m-jumbo-image, article#m-jumbo > header h2 {
+    font-size: 1rem;
+  }
 }
 article#m-jumbo > header, article#m-jumbo > header h1, article#m-jumbo > header a {
   color: #ffffff;

diff --git a/css/m-light.compiled.css b/css/m-light.compiled.css
index 71d11dac532e9c57f1669e80f0ddbd3f7748289e..253a7718e9ac48608521fdaebcd61022913765ee 100644 (file)
--- a/css/m-light.compiled.css
+++ b/css/m-light.compiled.css
@@ -794,6 +794,13 @@ article section > h4 a, article section > h5 a, article section > h6 a {
   height: 30rem;
   margin-bottom: -26rem;
 }
+#m-landing-cover h1 {
+  font-size: 2.8rem;
+  margin-top: -0.5rem;
+  padding-left: 1.5rem;
+  padding-bottom: 1rem;
+  text-transform: lowercase;
+}
 #m-landing-cover {
   padding-bottom: 10rem;
   margin-bottom: -6rem;
@@ -801,11 +808,6 @@ article section > h4 a, article section > h5 a, article section > h6 a {
 article#m-jumbo {
   margin-top: -1rem;
 }
-article#m-jumbo > header #m-jumbo-image {
-  font-size: 2.5vh;
-  height: 60vh;
-  margin-bottom: 1rem;
-}
 #m-landing-cover, #m-cover-image > div, article#m-jumbo > header #m-jumbo-cover {
   background: linear-gradient(transparent 0%, transparent 50%, #ffffff 100%);
   width: 100%;
@@ -815,14 +817,29 @@ article#m-jumbo > header h1, article#m-jumbo > header h2 {
   text-align: center;
   font-weight: bold;
 }
+article#m-jumbo > header a {
+  text-decoration: none;
+}
+article#m-jumbo > header #m-jumbo-cover {
+  padding-bottom: 5rem;
+}
+article#m-jumbo > header #m-jumbo-image {
+  font-size: 2.5vmin;
+  margin-bottom: -3rem;
+}
 article#m-jumbo > header h1 {
-  font-size: 10vh;
+  font-size: 10vmin;
 }
 article#m-jumbo > header h2 {
-  font-size: 3vh;
+  font-size: 3vmin;
 }
-article#m-jumbo > header a {
-  text-decoration: none;
+@media screen and (max-height: 640px) , screen and (max-width: 640px) {
+  article#m-jumbo > header h1 {
+    font-size: 3rem;
+  }
+  article#m-jumbo > header #m-jumbo-image, article#m-jumbo > header h2 {
+    font-size: 1rem;
+  }
 }
 article#m-jumbo > header, article#m-jumbo > header h1, article#m-jumbo > header a {
   color: #ffffff;