- From: Gabriel Valfridsson via GitHub <noreply@w3.org>
- Date: Fri, 16 Jan 2026 22:59:49 +0000
- To: public-css-archive@w3.org
@webstrand I'm imagining border-round being defined to do exactly the same thing as the algorithm for rounding border-width values. One way of getting there would be to make that algorithm expressible in CSS with `max()` and `round()`, however I think it would be better to have a dedicated function for it to avoid locking down that algorithm from ever changing. Making it expressible with `max()` and `round()` would also be very hard as it would require a device pixel unit that ignores zoom which I think would be very controversial to introduce. Maybe introducing a rounding interval keyword for device pixel would be more possible. @Loirooriol I'm not against introducing `hairline` in addition to `border-round()` as I've stated. My argument is just that it is more of an arbitrary constant similar to `medium` that might be nice to have for some people but doesn't really solve the fundamental issues people are having in this thread. -- GitHub Notification of comment by GabbeV Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/3720#issuecomment-3762155971 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Friday, 16 January 2026 22:59:50 UTC