Slight changes to syntax highlightment styles.
Authored by: jplang 2012-07-29
Parent: [r10131]
Child: [r10133]
