switch back to Monokai