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

> In your example, border-round(0.7px) would round down to 3dp (0.6px) , while round(down, 0.7px, env(hairline)) would round down to 2dp (0.4px).

Sure, that's indeed the case. I don't think it's very important, tho?

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


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

Received on Friday, 20 June 2025 22:31:28 UTC