Added the monokai theme but it doesn't work