I'll probably come up with some kind of solution a bit later. This may come down to adding a custom function for parsing Pygments styles to turn them into CodeMirror-compatible stylesheets.
To output CSS that is able to be used with CodeMirror editors. I'm guessing (possibly a little too early) that background_color may come in handy (although I couldn't get Pygments to use it initially).
I'll probably come up with some kind of solution a bit later. This may come down to adding a custom function for parsing Pygments styles to turn them into CodeMirror-compatible stylesheets.
IE, parsing this:
To output CSS that is able to be used with CodeMirror editors. I'm guessing (possibly a little too early) that
background_color
may come in handy (although I couldn't get Pygments to use it initially).