remove old version of codemirror css, to prevent confusion