marijnh/CodeMirror — pull request #1939 by bfrohs (2013-11-07 23:28:14+00:00)
Title: [css] Fix more indentation issues.

Closes #1925.