marijnh/CodeMirror — pull request #2455 by beaufortfrancois (2014-04-11 11:46:19+00:00)
Title: Fix background & foreground colors in monokai theme

See https://github.com/GoogleChrome/text-app/issues/227 for some background.