When writing a highlighter, modify the highlightClasses or highlightStyling fields of the elements.
Each string x in highlightClasses turns into Html.Attribute.class x.
Each (x,y) in highlightStyling turns into Html.Attribute.style x y.
Attributes of LineBreaks apply to the preceding paragraph as a whole.