change syntax theme back to monokai