Update codemirror.html