Hey guys, excellent plugin. Was wondering if there was a possibility to get Solarized and Solarized Dark as themes? I can see that the theme is based off of CodeMirror, and they're already rocking themes for both which you can see here: http://codemirror.net/demo/theme.html.
The GitHub download has the Solarized CSS in the themes folder. I tried to do it myself by adding the css in the themes.css file of extensions/codemirror, and tried to add it in the settings.php, but it wouldn't come up as an option. I'm sure I'm doing something wrong lol, but anyway I'd appreciate your help! Thanks in advance.