- From: 1jj via GitHub <sysbot+gh@w3.org>
- Date: Sun, 26 Nov 2023 17:02:19 +0000
- To: public-css-archive@w3.org
I think this can easily be done with fractional pixels in all browsers these days, right? At least for me `border-width: 0.6px` or `0.5px` does it pretty well. If it's not specified, it should be. Probably what @dbaron dbaron said above plus a lower limit of 0.3 CSS pixels or whatever. > Also... with Gecko's border rounding behavior (round down in device pixels, except round values between 0 and 1 device pixels up to 1) you can effectively do this today without facing that problem. For example, a border with width `0.25px' will be one device pixel, unless there are 8 or more device pixels per CSS pixel. I think there was some movement of other browsers towards that behavior, but I'm not sure if things have converged. -- GitHub Notification of comment by 1jj Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/3720#issuecomment-1826835919 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Sunday, 26 November 2023 17:02:21 UTC