1 files changed, 52 insertions, 54 deletions

diff --git a/web/src/css/header.less b/web/src/css/header.less
index 998c0612..4f4af121 100644
--- a/web/src/css/header.less
+++ b/web/src/css/header.less
@@ -1,62 +1,60 @@
 header {
+    background-color: white;
 
-  background-color: white;
-
-  .title-bar {
-    line-height: 25px;
-    text-align: center;
-  }
-
-  @separator-color: lighten(grey, 15%);
-
-  nav {
-
-    border-bottom: solid @separator-color 1px;
-
-    a {
-      display: inline-block;
-      padding: 3px 14px;
-      margin: 0 2px -1px;
-      border: solid transparent 1px;
-      //text-transform: uppercase;
-      //font-family: Lato;
-
-      &.active {
-        border-color: @separator-color;
-        border-bottom-color: white;
-      }
-      &:hover {
-        /*
-        @preview: lightgrey;
-        border-top-color: @preview;
-        border-left-color: @preview;
-        border-right-color: @preview;
-        */
-        text-decoration: none;
-      }
-      &.special {
-        @special-color: #396cad;
-        color: white;
-        background-color: @special-color;
-        border-bottom-color: @special-color;
-        &:hover {
-          background-color: lighten(@special-color, 10%);
-        }
-      }
+    .title-bar {
+        line-height: 25px;
+        text-align: center;
     }
 
-    &:before {
-      content: " ";
-    }
+    @separator-color: lighten(grey, 15%);
+
+    nav {
+        border-bottom: solid @separator-color 1px;
+
+        a {
+            display: inline-block;
+            padding: 3px 14px;
+            margin: 0 2px -1px;
+            border: solid transparent 1px;
+            //text-transform: uppercase;
+            //font-family: Lato;
+
+            &.active {
+            border-color: @separator-color;
+            border-bottom-color: white;
+            }
+            &:hover {
+                /*
+                @preview: lightgrey;
+                border-top-color: @preview;
+                border-left-color: @preview;
+                border-right-color: @preview;
+                */
+                text-decoration: none;
+            }
+            &.special {
+                @special-color: #396cad;
+                color: white;
+                background-color: @special-color;
+                border-bottom-color: @special-color;
+                &:hover {
+                    background-color: lighten(@special-color, 10%);
+                }
+            }
+        }
 
-    &:after {
-      clear: both;
-    }
+        &:before {
+            content: " ";
+        }
 
-  }
+        &:after {
+            clear: both;
+        }
+
+    }
 
-  .menu {
-    height: 100px;
-    border-bottom: solid @separator-color 1px;
-  }
+    .menu {
+        height: 100px;
+        border-bottom: solid @separator-color 1px;
+    }
 }
\ No newline at end of file