Fixed broken CodeMirror in theme area