Adding monokai theme