diff --git a/frontend/src/style.scss b/frontend/src/style.scss
index 038dcf25f..93d2b1dd6 100644
--- a/frontend/src/style.scss
+++ b/frontend/src/style.scss
@@ -42,12 +42,19 @@ header {
   border-bottom: 1px solid darkgray;
   min-height: $header_height;
 
+  $horizontal_margin: 10px;
+
   div.logo {
     display: inline-block;
+    height: $header_height;
+    line-height: $header_height;
+    margin-left: $horizontal_margin;
+
     img {
       margin: $header_height * 0.1;
       max-height: $header_height * 0.8;
     }
+
     a {
       color: $default_color;
       line-height: $header_height;
@@ -70,7 +77,7 @@ header {
     float: right;
     height: $header_height;
     line-height: $header_height;
-    margin-right: 10px;
+    margin-right: $horizontal_margin;
   }
 
   input.revision {