Remove unused monokai theme