Fix code mirror theme - override default