Change monokai theme provider

My existing one was abandoned