Update codemirror-elegant.css