Slight change to the style of formatting buttons.
Authored by: jplang 2011-08-01
Parent: [r6333]
Child: [r6335]
