- From: L. David Baron via GitHub <sysbot+gh@w3.org>
- Date: Mon, 11 Mar 2019 23:21:12 +0000
- To: public-css-archive@w3.org
It seems like at some point these borders might become thinner than the user of this keyword expects. For example, when printing, or as devices get even-higher-resolution. 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 dbaron Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/3720#issuecomment-471779711 using your GitHub account
Received on Monday, 11 March 2019 23:21:13 UTC