Update codemirror-4.8.0.css