/* Theme tokens (--bg-deep, --link, etc.) are emitted by the server into a