CodeMirror: load themes