change default theme to monokai