update monokai theme