Updating CodeMirror for index.html.