waywardmonkeys/CodeMirror — pull request #3 by pvwoods (2014-02-07 23:00:39+00:00)
Title: adding definitions for various elements that lacked css selectors

There were a bunch of selectors that were missing from the CSS file. They have been added.