Match the style of the logo with the menu (#489)

Author: Crystal-RainSlide

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 {