Tweaked HTML highlighting.