static class
BasicTextUI.BasicHighlighter
Highlighter
class
DefaultHighlighter
Scripting on this page tracks web page traffic, but does not change the content in any way.