From 1604c0028a84ae07eeb65eeaca2b11c1530fdebf Mon Sep 17 00:00:00 2001
From: Nicolas Stepien <stepien.nicolas@gmail.com>
Date: Tue, 26 Mar 2013 22:54:04 +0100
Subject: [PATCH] Make it apparent where you have to click to toggle the
 header's autohiding.

---
 css/style.css       | 9 +++++++++
 src/features.coffee | 1 +
 2 files changed, 10 insertions(+)

diff --git a/css/style.css b/css/style.css
index 5ac99f712..ca28f7bb4 100644
--- a/css/style.css
+++ b/css/style.css
@@ -136,6 +136,7 @@ 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;
@@ -144,6 +145,14 @@ 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 c15ed41d7..9675525cf 100644
--- a/src/features.coffee
+++ b/src/features.coffee
@@ -11,6 +11,7 @@ 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