more colors, more syntax

allow switching away from changed buffers
html5 mode, python mode, hidden mode