From b5edee8a91f0cce502453fcc1c321b1754a5d097 Mon Sep 17 00:00:00 2001
From: Mayhem <stepien.nicolas@gmail.com>
Date: Wed, 21 Aug 2013 18:34:19 +0200
Subject: [PATCH] Sightly smaller header bar.

---
 css/style.css | 22 +++-------------------
 1 file changed, 3 insertions(+), 19 deletions(-)

diff --git a/css/style.css b/css/style.css
index 54440e226..1ac29e067 100644
--- a/css/style.css
+++ b/css/style.css
@@ -120,7 +120,7 @@ a[href="javascript:;"] {
   border-width: 0;
   display: -webkit-flex;
   display: flex;
-  padding: 3px 4px 4px;
+  padding: 3px;
   position: relative;
   transition: all .1s .05s ease-in-out;
 }
@@ -131,10 +131,6 @@ a[href="javascript:;"] {
   box-shadow: 0 -1px 2px rgba(0, 0, 0, .15);
   border-top-width: 1px;
 }
-#header.bottom .menu-button i {
-  border-top: none;
-  border-bottom: 6px solid;
-}
 #board-list {
   -webkit-flex: 1;
   flex: 1;
@@ -163,23 +159,11 @@ a[href="javascript:;"] {
 }
 #header.top #toggle-header-bar {
   cursor: n-resize;
-  bottom: -8px;
+  bottom: -10px;
 }
 #header.bottom #toggle-header-bar {
   cursor: s-resize;
-  top: -8px;
-}
-#header-bar.autohide:not(:hover) #toggle-header-bar,
-#toggle-header-bar:hover {
-  height: 18px;
-}
-#header.top #header-bar.autohide:not(:hover) #toggle-header-bar,
-#header.top #toggle-header-bar:hover {
-  bottom: -16px;
-}
-#header.bottom #header-bar.autohide:not(:hover) #toggle-header-bar,
-#header.bottom #toggle-header-bar:hover {
-  top: -16px;
+  top: -10px;
 }
 #header.top #header-bar.autohide #toggle-header-bar {
   cursor: s-resize;