Revert back to old monokai.