Minor highlight.css fix.