Make it apparent where you have to click to toggle the header's autohiding.

This commit is contained in:
Nicolas Stepien 2013-03-26 22:54:04 +01:00
parent 846efbd013
commit 1604c0028a
2 changed files with 10 additions and 0 deletions

View File

@ -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;

View File

@ -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