Shrinks the header bar from 50px to 40px.

core/src/main/resources/lib/layout/layout.jelly

@@ -159,7 +159,7 @@ ${h.initPageVariables(context)}
     <div id="header">
       <div class="logo">
         <a id="jenkins-home-link" href="${rootURL}/">
-          <img id="jenkins-head-icon" src="${imagesURL}/jenkins-redbg.png" alt="title" />
+          <img id="jenkins-head-icon" src="${imagesURL}/headshot.png" alt="title" />
           <img id="jenkins-name-icon" src="${imagesURL}/title.png" alt="title" width="139" height="34" />
         </a>
       </div>

war/src/main/webapp/css/style.css

@@ -39,7 +39,7 @@ body {
 
 #header {
   background-color: #000000;
-  height: 50px;
+  height: 40px;
 }
 
 #header div {
@@ -52,18 +52,16 @@ body {
 
 #jenkins-head-icon {
   position: relative;
-  top: 5px;
-  width: 40px;
-  height: 40px;
+  top: 2px;
 }
 #jenkins-name-icon {
   position: relative;
-  top: 6px;
+  top: 3px;
 }
 
 #header .searchbox, #header .login {
   float: right;
-  padding: 11px;
+  padding: 6px 11px;
 }
 
 #breadcrumbBar, #footer-container, .top-sticker-inner {
@@ -186,7 +184,7 @@ dt {
 
 #header .login {
   position: relative;
-  top: 8px;
+  top: 6px;
   color: white;
   margin-right: 10px;
 }