CodeMirror Theme/fixes