change the theme to monokai