All three CSS files are combined into one now, even the codemirror one.