theoretical IE9/IE10 support.  added ability to customize CodeMirror theme.