Change color-theme wombat to monokai