Change html highlighting so it is less like monokai