Making monokai theme the default