Re: [csswg-drafts] [css-borders] Add a 'hairline' border-width value (#3720)

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