honestbleeps/Reddit-Enhancement-Suite — pull request #1712 by mc10 (2014-10-25 04:27:19+00:00)
Title: Adjust appearance of RES's search button

I've also defaulted it to off. Fixes #1667 unless some prettier formatting is desired.