CodeMirror2 theme