marijnh/CodeMirror — pull request #1769 by TobiasBg (2013-08-22 09:29:47+00:00)
Title: Main CSS file: Clean-up and fix lint warnings

Use 0 instead of 0px, clean-up two line breaks, to fix lint warning;
Three empty CSS blocks could also be removed.