Adds new colorscheme and html5 highlighting.