fix the confilct of monokai theme