From f5ed0fc93b18b8b97140f5acf809c838972a2e24 Mon Sep 17 00:00:00 2001
From: "Iain R. Learmonth" <irl@fsfe.org>
Date: Sat, 2 Dec 2017 17:08:24 +0000
Subject: [PATCH] Reduces default vertical header size (Fixes: #24277)

---
 website/src/main/resources/web/css/style.css | 43 ++++++----------------------
 1 file changed, 9 insertions(+), 34 deletions(-)

diff --git a/website/src/main/resources/web/css/style.css b/website/src/main/resources/web/css/style.css
index 6770c84..a2150bf 100644
--- a/website/src/main/resources/web/css/style.css
+++ b/website/src/main/resources/web/css/style.css
@@ -14,7 +14,7 @@ body #wrapper {
 
 /* Page header - override bootstrap defaults */
 .page-header {
-    padding: 0 2.5em 2.5em 2.5em;
+    padding: 0em 2.0em 2.0em 2.0em;
     margin: 0;
     border-bottom: 0;
     color:#fff;
@@ -33,24 +33,20 @@ body #wrapper {
     max-width:40%;
     height:auto;
 }
+.page-header img#metrics-logo {
+    height:75px;
+    width:auto !important;
+}
 .page-header div {
     text-align:right;
     position:absolute;
     right:2.5em;
-    bottom:1.9em;
-    max-width:300px;
+    bottom: 0.9em;
+    max-width: 400px;
 }
 .page-header div p {
-    line-height:21px;
-}
-@media (max-width: 1199.99999px) {
-    .page-header div {
-        max-width:270px;
-    }
-    .page-header div p {
-        font-size:14px;
-        line-height:18px;
-    }
+    font-size: 14px;
+    line-height: 16px;
 }
 @media (max-width: 767.99999px) {
     .page-header {
@@ -65,31 +61,10 @@ body #wrapper {
 }
 @media (max-height:799.99999px) {
     /* make page header smaller on e.g. 10 inch notebooks etc. */
-    .page-header {
-        padding: 0em 2.0em 2.0em 2.0em;
-    }
-    .page-header img#metrics-logo {
-        height:75px;
-        width:auto !important;
-    }
-    
-    .page-header div {
-        bottom: 0.9em;
-        max-width: 400px;
-    }
-    .page-header div p {
-        font-size: 14px;
-        line-height: 16px;
-    }
     .navbar-secondary .navbar-nav>li>a {
         margin-bottom: 0px !important;
     }
 }
-@media (min-height:800px) and (min-width: 768px) {
-    .page-header {
-        padding-top:70px;
-    }
-}
 @media (max-height:800px) and (max-width: 1199.99999px) {
     .page-header div {
         max-width:330px;
-- 
2.15.0