removed monokai theme