- From: Tab Atkins Jr. via GitHub <noreply@w3.org>
- Date: Fri, 20 Jun 2025 22:31:27 +0000
- To: public-css-archive@w3.org
> In your example, border-round(0.7px) would round down to 3dp (0.6px) , while round(down, 0.7px, env(hairline)) would round down to 2dp (0.4px). Sure, that's indeed the case. I don't think it's very important, tho? -- GitHub Notification of comment by tabatkins Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/3720#issuecomment-2993049121 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Friday, 20 June 2025 22:31:28 UTC