- From: Gabriel Valfridsson via GitHub <noreply@w3.org>
- Date: Tue, 15 Jul 2025 19:22:00 +0000
- To: public-css-archive@w3.org
I found this issue after debugging a UI like this https://codepen.io/GabbeV/pen/EaVjeWw and thought it might be a good use case to consider. The borders are overlapped with a negative margin between items but because the values get rounded differently you get weird results when using some non integer dpi/zoom factors in your browser. Both border-round() and hairline could be used to solve the issue however border-round() would allow you to choose the size of the border instead of getting forced to use some multiple of hairline. This is not really an argument for or against introducing hairline but an argument for why border-round() would be useful regardless. -- GitHub Notification of comment by GabbeV Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/3720#issuecomment-3075180734 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 15 July 2025 19:22:01 UTC