marijnh/CodeMirror — pull request #971 by peterkroon (2012-11-13 18:20:35+00:00)
Title: Update lib/codemirror.css

IE7 fix