Reintroduce missing CodeMirror CSS to fix selection highlighting (bug #3790)