change from bad monokai theme to better made molokai theme