change highlighter.css