Adjust CodeMirror themes
Adjust slider theme