Change to monokai theme by default