Regarding default tailwind tokens

https://github.com/epicweb-dev/tailwindcss-color-tokens/blob/740f49c893ee982ae84a0d11ab4c4663419e93ed/exercises/03.tailwind-v4/02.solution.simplification/src/index.css#L6

Hey, first of all great course, loved it and many thanks for such a wonderful course

Secondly i am not sure if creating a GitHub issue is the right way to ask this question , so sorry in advance 🙂

in the above line mentioned you used `--background-color-highlight: #00ffe1` as a token in themes layer, but according to docs there no such namespace called `--background-color-*` mentioned in tailwind v4.

and using them as `bg-highlight` just worked as expected

https://tailwindcss.com/docs/theme#default-theme-variable-reference
here we don't have any `--background-color` namespace.

Am I missing something or is this a loophole?