remove unused monokai-theme