marijnh/CodeMirror2 — pull request #591 by peterkroon (2012-06-22 06:45:16+00:00)
Title: [Theme demo] Make themes lesse-dark and ambiance *less big* when switching between th...

[Theme demo] Make themes lesse-dark and ambiance *less big* when switching between themes.