Styles

* Generally improve consistency (almost compolete use of standard
  styles now).
* For HTML Attribute Filter, actually use a smaller font size and
  larger textarea (seems better for usability).