honestbleeps/Reddit-Enhancement-Suite — pull request #1383 by githue (2014-07-04 08:26:29+00:00)
Title: Subreddit bar CSS improvements

Same as #1277 except now works with pinHeader.

Can you think of any other instances where this commit might face problems?