honestbleeps/Reddit-Enhancement-Suite — pull request #467 by gavin19 (2013-07-16 13:13:17+00:00)
Title: Settings console CSS tweaks

CSS to account for the recent 'button' type