- CodeMirror theme should follow pollux theme light/dark - add a button that toggles the theme - pollux should follow the user theme preferences if the theme is not selected