One place to generate CodeMirror CSS
commit19ab72bf8584affddda369cae8d16a0b00c5cc4a
authorMichal Čihař <michal@cihar.com>
Mon, 22 Aug 2011 13:52:35 +0000 (22 15:52 +0200)
committerMichal Čihař <michal@cihar.com>
Mon, 22 Aug 2011 13:52:35 +0000 (22 15:52 +0200)
tree2b72e563188b7e7feaa66e0088a3ed44ba267c3e
parenta59daa10b5b5dc58a754b9cd53de3ce1ab52d633
One place to generate CodeMirror CSS
libraries/Theme.class.php
themes/original/css/theme_right.css.php
themes/pmahomme/css/theme_right.css.php