honestbleeps/Reddit-Enhancement-Suite — pull request #541 by gavin19 (2013-08-23 15:27:19+00:00)
Title: CSS fix for hidden user bar toggle

Long-standing quirk where the toggle drops down below the base of the
header when the user bar is hidden. /u/Tsssss