marijnh/CodeMirror2 — pull request #516 by jankeromnes (2012-04-30 00:00:08+00:00)
Title: Harmonized Tiddlywiki styling

We concatenate every CSS file into a single bundle, and Tiddlywiki's CSS file was breaking a lot of standard styles. I reset styling to standard where possible, and the custom styles left don't break anything.

Also, I changed the default theme's header color from `#a0a` to `blue`. This is what Tiddlywiki had and I find that color much nicer than the default purple, but this is debatable.