Fix outdated comment in codemirror.css