change theme to "Monokai Extended"