/* Generated by scripts/build-tenant-theme.py: colors only. */