back to using monokai