change to using the monokai theme