[csswg-drafts] Pull Request: [css-fonts][css-prints][css-values][editorial] Add font- prefix to production names

cdoublev has just submitted a new pull request for https://github.com/w3c/csswg-drafts:

== [css-fonts][css-prints][css-values][editorial] Add font- prefix to production names ==
Fixes #13263.

This PR only adds `font-` in production names and some section ids, cf. my following comment in the related issue.

I have not changed the CSS2 spec, which has its own definition of `<generic-family>`.

See https://github.com/w3c/csswg-drafts/pull/13272


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Sunday, 28 December 2025 13:30:22 UTC