- From: Tab Atkins Jr. via GitHub <sysbot+gh@w3.org>
- Date: Tue, 03 Sep 2024 22:10:23 +0000
- To: public-css-archive@w3.org
Sorry, hit submit too early. I'm still loathe to expose resolution directly, because a hairline isn't necessarily 1 device pixel. In a hypothetical super-display with 100 device pixels per 1px length, a hairline definitely shouldn't be .01px. (And this also argues against just relying on border-width rounding away from zero to the nearest device pixel, in favor of a `hairline` keyword that exposes the "correct" width regardless of resolution.) -- GitHub Notification of comment by tabatkins Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/3720#issuecomment-2327530982 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 3 September 2024 22:10:24 UTC