Fixe some syntax highlighting, also removed the two themes vecause they don't work (or maybe they do and I didn't figure out how to deal with them, whatever, I don't need them).