[frontend] Clean up codemirror CSS.