update colors for default monokai theme