static class
DefaultHighlighter.DefaultHighlightPainter
static LayeredHighlighter.LayerPainter
DefaultPainter
Scripting on this page tracks web page traffic, but does not change the content in any way.