Switch to html highlighting :/