change to monokai theme by default