From: Vladimír Vondruš <mosra@centrum.cz>
Date: Fri, 5 Jan 2018 00:29:25 +0000 (+0100)
Subject: css: updated postprocessed files.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~cjwatson/git?a=commitdiff_plain;h=14fb5d88ecb75801ea95ab06dd2e5a01e065f2e3;p=blog.git

css: updated postprocessed files.
---

diff --git a/css/m-dark+doxygen.compiled.css b/css/m-dark+doxygen.compiled.css
index 8aeca57a..175141db 100644
--- 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 ef5e9e72..6650eab8 100644
--- 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 4213059c..e85f82f4 100644
--- 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 71d11dac..253a7718 100644
--- 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;