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

@tabatkins I think we could expose `hairline` as a keyword, but it should behave as a real width (so, affect geometry rather than weird painting). I do think at least that making the existing rounding round to that value is worth it.

I think `border-round` or so might still be useful so that you can snap even bigger pixels to real device pixels in other places, but that can be a separate extension if needed.

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


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

Received on Thursday, 13 February 2025 17:28:44 UTC