migrate to monokai