Theme changed to monokai