Adding a 'bad' token type to the theme
Moving bad old 'bad' token type
Lumping 'ace_invalid' together with 'ace_bad'
Temp. switch to JS coloring; it works!