Tone the fuck down the HTML highlighting