- From: Tab Atkins Jr. via GitHub <noreply@w3.org>
- Date: Fri, 20 Jun 2025 22:26:54 +0000
- To: public-css-archive@w3.org
Right, a hairline will be a multiple of device pixels anyway, since borders *need* to be device pixel-snapped. So `round(nearest, 1.2em, 1hairline)` (or however you'd spell the numeric value version of it) would work. It's not as theoretically finely-grained as it *could* be, but per the definition of a hairline, it's almost certainly more than sufficient, I think. -- GitHub Notification of comment by tabatkins Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/3720#issuecomment-2993044779 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:26:55 UTC