fix auto theming for codemirror