alright, enough of github color scheme. time to default back to monokai