marijnh/CodeMirror — pull request #1716 by idleberg (2013-07-31 14:03:10+00:00)
Title: Added new themes

-added Paraíso themes
-sorted entries in demo/theme.html