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

> increments of device pixels

Then this means that `border-round(x)` can't completely be expressed in terms of `env(hairline)`.

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

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


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

Received on Wednesday, 21 May 2025 19:20:58 UTC