honestbleeps/Reddit-Enhancement-Suite — pull request #1238 by gavin19 (2014-06-12 13:13:33+00:00)
Title: navTop - account for variable heights

To account for the small number of subs that have a taller/shorter
sr-bar.