- From: Oriol Brufau via GitHub <noreply@w3.org>
- Date: Mon, 06 Oct 2025 13:46:07 +0000
- To: public-css-archive@w3.org
The proposal was to add `env(hairline)`, not `env(device-pixel-ratio)`. Most of the complexity in your code comes from that. But if you want to replicate the "snap a length as a border-width" exactly, then [you can't do it with just `env(hairline)`](https://github.com/w3c/csswg-drafts/issues/3720#issuecomment-2898984858). So I'm not sure I get your point. Is it that `env(hairline)` doesn't suit your needs and you would like `border-round()` too? -- GitHub Notification of comment by Loirooriol Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/3720#issuecomment-3371750122 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 6 October 2025 13:46:08 UTC