[bugzilla-gnome-org-customizations] Rework header's navigation menu

[Tom Tryfonidis <tomtryf src gnome org>]

commit adbc8cae39c7b781fd6bf631c79fb99a69c51f7a
Author: Tom Tryfonidis <tomtryf gnome org>
Date:   Sun Mar 12 12:56:36 2017 +0200

    Rework header's navigation menu
    
    Fixes bugs #779623 and #779754

 skins/contrib/Gnome/global.css |   56 ++++++++++++++++++---------------------
 1 files changed, 26 insertions(+), 30 deletions(-)
---
diff --git a/skins/contrib/Gnome/global.css b/skins/contrib/Gnome/global.css
index b458811..6da13ba 100644
--- a/skins/contrib/Gnome/global.css
+++ b/skins/contrib/Gnome/global.css
@@ -19,17 +19,38 @@ body {
 }
 
 #header {
-    margin-bottom: 2.5em;
+    margin-bottom: 1.5em;
+}
+
+#header .links li:first-child a {
+    background-image: url("./index/gnome-logo.svg");
+    background-position: calc(3%) 50%;
+    padding:12px 0 8px 60px;
+    background-repeat: no-repeat;
+    background-size: 90px auto;
+    color: transparent;
+    display: inline-block;
+    cursor: pointer;
+}
+
+#header .links li:first-child a:hover,
+#header .links li:first-child a:focus {
+    opacity: 0.9;
+}
+
+#header form, #header form input {
+    margin-top: 8px;
 }
 
 #header .links {
-    height: 25px;
-    color: #fff;
+    height: auto;
     background-color: #4a86cf;
-    padding-left: calc(6.5%);
+    color: #fff;
+    padding-left: calc(3%);
     margin: 0;
     border-color: #3968a1;
     border-radius: 0;
+    min-height: 37px;
 }
 
 #header .links .separator {
@@ -57,31 +78,11 @@ body {
     flex:1;
 }
 
+/* Don't show div #title (Bug id/title/modified time) */
 #titles {
-    font-size: 110%;
-    color: #fff;
-    height: 51px;
-    border-top-left-radius: 0;
-    border-top-right-radius: 0;
-    margin: 0;
-    padding: 0 calc(6.5%);
-    vertical-align: bottom;
-    background-image: url("./index/gnome-logo.svg");
-    background-color: #4a86cf;
-    background-repeat: no-repeat;
-    background-size: 90px auto;
-    background-position: calc(6.5%);
-}
-
-/* Don't show the title of a bug */
-#titles #title {
     display: none;
 }
 
-#titles #subtitle {
-    width: 70%;
-}
-
 /* Don't show obvious links for help links on show_bug.cgi etc - bug 744316 */
 .field_label > a, .field_label > label > a {
     text-decoration: none;
@@ -211,11 +212,6 @@ select, select[multiple] {
 /* Responsive Media Queries */
 
 @media only screen and (max-width: 360px) {
-    #titles #information .header_addl_info {
-        padding-top: 50px;
-        text-align: center;
-    }
-
     #header .links {
         margin: 0px;
     }