Integrated CodeMirror themes