- From: Tab Atkins Jr. via GitHub <noreply@w3.org>
- Date: Tue, 26 Aug 2025 23:26:34 +0000
- To: public-css-archive@w3.org
@Loirooriol > My point was that if border-round() can't be expressed in terms of 1 hairline, then we may need both features? *My* point was asking whether it *matters*, tho. ^_^ The difference here is *less than the width of a hairline* - in what cases is that a meaningful difference that authors will care about, even when the DPI is high enough that there's technically device-pixel lengths between the hairline widths? -- GitHub Notification of comment by tabatkins Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/3720#issuecomment-3226059883 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 26 August 2025 23:26:35 UTC