- From: fantasai via GitHub <sysbot+gh@w3.org>
- Date: Wed, 15 Jun 2022 15:39:26 +0000
- To: public-css-archive@w3.org
fantasai has just created a new issue for https://github.com/w3c/csswg-drafts: == [css-color-5] Custom color profiles: <custom-ident> or <dashed-ident>? == In general in CSS we use `<custom-ident>` for CSS-internal identifiers, see `@namespace`, `@font-face`, `@counter-style`. Color 5 proposes to use `<dashed-ident>` for color profile names (`@color-profile`), which is inconsistent. Should it be switched to `<custom-ident>` or is there some compelling reason why color profile names need to be different? Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/7374 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 15 June 2022 15:39:28 UTC