To update codemirror :

- update all files
- add following styles at end of file codemirror.css :

/*Added for Automne*/
.CodeMirror-gutter {min-width: 2.6em; cursor: pointer;}
.CodeMirror {border: 1px solid;line-height:16px;}