honestbleeps/Reddit-Enhancement-Suite — pull request #962 by matheod (2014-04-19 13:48:01+00:00)
Title: Visually distinguish "source" textarea from "edit" fixes #887 + hide unnecessary text 

Not really a fan of the background. If you have a better idea telle me !