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

Well paging this discussion back I guess most proposed solutions would actually work with this use case one way or another, presuming that a hairline will always be a device pixel multiple. So nvm

-- 
GitHub Notification of comment by emilio
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/3720#issuecomment-2989311732 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Thursday, 19 June 2025 22:59:06 UTC