marijnh/CodeMirror — pull request #1463 by mattpass (2013-04-20 12:50:32+00:00)
Title: Remove font-size

Rubyblue is the only theme that sets a font size, which makes it trickier to a apply new size. ie, .CodeMirror {font-size: 20px} has no effect. Removed this to bring in line with other themes.