Update codemirror.css