From e6d06d77f544a5c576fa2386b58e417eccebc954 Mon Sep 17 00:00:00 2001
From: Edwin Kempin <edwin.kempin@sap.com>
Date: Thu, 25 Apr 2013 09:14:29 +0200
Subject: [PATCH] Make Diffy in Diffy theme smaller

Shrink the Diffy logo in the Diffy theme so that it doesn't consume
more vertical space than the header menu.

This now matches the theme that is used on
gerrit-review.googlesource.com.

Change-Id: I943253a24bf1e4ab8a74c23d68df8ea3fd18d115
Signed-off-by: Edwin Kempin <edwin.kempin@sap.com>
---
 contrib/themes/diffy/etc/GerritSite.css        | 17 ++++++++---------
 contrib/themes/diffy/etc/GerritSiteHeader.html |  4 +++-
 2 files changed, 11 insertions(+), 10 deletions(-)

diff --git a/contrib/themes/diffy/etc/GerritSite.css b/contrib/themes/diffy/etc/GerritSite.css
index 6fe8a3e88f..d4769579c2 100644
--- a/contrib/themes/diffy/etc/GerritSite.css
+++ b/contrib/themes/diffy/etc/GerritSite.css
@@ -12,19 +12,18 @@
  * See the License for the specific language governing permissions and
  * limitations under the License.
  */
+#gerrit_topmenu {
+  left: 60px;
+  margin-right: 60px;
+  padding-right: 10px;
+  position: relative;
+}
 
-#gerrit_header {
+#diffy_logo {
   display: block !important;
   margin-bottom: -55px;
   padding-left: 20px;
   position: relative;
   top: -45px;
-  width: 100px;
-}
-
-#gerrit_topmenu {
-  left: 100px;
-  margin-right: 100px;
-  padding-right: 10px;
-  position: relative;
+  width: 60px;
 }
diff --git a/contrib/themes/diffy/etc/GerritSiteHeader.html b/contrib/themes/diffy/etc/GerritSiteHeader.html
index 48ccfeceaf..89b4db5149 100644
--- a/contrib/themes/diffy/etc/GerritSiteHeader.html
+++ b/contrib/themes/diffy/etc/GerritSiteHeader.html
@@ -1,3 +1,5 @@
 <div>
-  <img src="static/logo.png"/>
+  <div id="diffy_logo">
+    <img width="50" height="46" src="static/logo.png"/>
+  </div>
 </div>