- From: Benoît Rouleau via GitHub <sysbot+gh@w3.org>
- Date: Wed, 21 May 2025 19:31:34 +0000
- To: public-css-archive@w3.org
Ah, I think I see the problem.
```css
div {
--border-width: 0.5px;
border: var(--border-width) solid black;
width: calc(100px + 2 * var(--border-width))
}
```
Presumably, the intention is to make the content's width 100px, but on screens where the `0.5px` border-width is rounded to `1px` because the physical pixels are too large, it would actually make the content width 101px minus 2px, so 99px.
Is that correct? If so, then `border-round` or `round(..., ..., env(hairline))` make sense to me!
--
GitHub Notification of comment by benface
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/3720#issuecomment-2899026242 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:31:35 UTC