Redraw HTML highlights when toggled off/on

Fix for #4497 

Call `updateHighlight()` for all document types, not just CSS. Refactor HTMLDocument to add `updateHighlight()` method.