- From: Christoph Päper via GitHub <sysbot+gh@w3.org>
- Date: Wed, 07 May 2025 20:01:24 +0000
- To: public-css-archive@w3.org
`hairline` is acceptable as a border width _keyword_ or environment _variable_, but feels icky as a _unit_, even if shortened to `hl`. I would suggest `dot` in that case, but I think enough arguments have been provided against this solution. I had also considered constants like `pi` earlier today, but they are specifically numeric and their value must not depend on implementation or device. That is what `env()` is for – isn’t it? -- GitHub Notification of comment by Crissov Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/3720#issuecomment-2860139827 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 7 May 2025 20:01:25 UTC