Themes for CodeMirror-based themes