Changing theme from wombat256mod to monokai