modify Codemirror theme