set color theme to be monokai