Minified CodeMirror CSS.