- From: fantasai via GitHub <noreply@w3.org>
- Date: Wed, 10 Dec 2025 16:15:56 +0000
- To: public-css-archive@w3.org
There's been a lot of use cases brought up here, and I'm not sure that they all are converging on the same solution: - Drawing a hairline border, which is at least one device pixel but may be more. Reasonably handled via a new keyword for `border-width` as proposed in the OP. - Insetting outlines. Probably better handled via https://github.com/w3c/csswg-drafts/issues/12906 - Calculating box sizes to include pixel-snapped border-widths. Likely handled better via `box-sizing` or https://github.com/w3c/csswg-drafts/issues/7770 - Overlapping borders with negative margins. See https://github.com/w3c/csswg-drafts/issues/3720#issuecomment-3075180734. Requires either a border-rounding function or the ability to reference the used `border-width` as a `margin` keyword value. - Snapping sizes of things (such as images) to device pixels. Probably best handled by adding a `pixel` argument to the `round()` function, but also brings up questions about pixel-snapping the position of the box. -- GitHub Notification of comment by fantasai Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/3720#issuecomment-3637873605 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 10 December 2025 16:15:58 UTC