- From: Merci chao via GitHub <noreply@w3.org>
- Date: Mon, 06 Oct 2025 14:26:03 +0000
- To: public-css-archive@w3.org
Actually, I'm not so sure what was OP confused about: > People regularly ask for the ability to size things in device pixels (https://github.com/w3c/csswg-drafts/issues/3715 is the latest). This > is virtually always intended for the use-case of sizing borders, to create "hairline" borders or separators. Wouldn’t it be possible to solve this using a reversed version of the function I posted? I haven’t tested it yet, so not totally sure. > Because device pixels are unpredictable in size. If it means CSS size, then isn't it just the device pixel size divided by the DPR? -- GitHub Notification of comment by Merci-chao Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/3720#issuecomment-3371967385 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 14:26:04 UTC