Change molokai theme for monokai