marijnh/CodeMirror — pull request #1718 by idleberg (2013-08-01 09:53:32+00:00)
Title: Minor edit

super minor edit, the previous style-sheet had the wrong url in the comments