From 1854c2a27be267869a234a6ceb5d6768842c881b Mon Sep 17 00:00:00 2001
From: Nicolas Stepien <stepien.nicolas@gmail.com>
Date: Wed, 27 Mar 2013 05:54:38 +0100
Subject: [PATCH] Revert "Make it apparent where you have to click to toggle
 the header's autohiding."

This reverts commit 1604c0028a84ae07eeb65eeaca2b11c1530fdebf.
---
 css/style.css       | 9 ---------
 src/features.coffee | 1 -
 2 files changed, 10 deletions(-)

diff --git a/css/style.css b/css/style.css
index 3ee16e86d..2df8eae0d 100644
--- a/css/style.css
+++ b/css/style.css
@@ -136,7 +136,6 @@ a[href="javascript:;"] {
   bottom: -8px;
   height: 10px;
   position: absolute;
-  z-index: 1;
 }
 #header-bar.autohide:not(:hover) #toggle-header-bar, #toggle-header-bar:hover {
   bottom: -16px;
@@ -145,14 +144,6 @@ a[href="javascript:;"] {
 #header-bar.autohide #toggle-header-bar {
   cursor: s-resize;
 }
-#toggle-header-bar:hover + hr {
-  border-width: 3px;
-  margin: 0;
-  position: absolute;
-  bottom: -4px;
-  right: 0;
-  left: 0;
-}
 #header-bar a:not(.entry) {
   text-decoration: none;
   padding: 1px;
diff --git a/src/features.coffee b/src/features.coffee
index 444aa00e2..96a2079a7 100644
--- a/src/features.coffee
+++ b/src/features.coffee
@@ -11,7 +11,6 @@ Header =
             <span id=full-board-list hidden></span>
           </span>
           <div id=toggle-header-bar title="Toggle the header auto-hiding."></div>
-          <hr>
         </div>
         <div id=notifications></div>
       """.replace />\s+</g, '><' # get rid of spaces between elements