marijnh/CodeMirror — pull request #1006 by pydichandra (2012-11-27 01:57:43+00:00)
Title: font-underline is not css property.

removed font-underline:none as it doesnt seem to be a css property.