marijnh/CodeMirror — pull request #2215 by billymoon (2014-02-02 23:09:30+00:00)
Title: use correct classes for headers

The header classes for specific levels of headers, which should set the size of each header did not match the classes in the editor. This commit fixes that.