- From: Oriol Brufau via GitHub <sysbot+gh@w3.org>
- Date: Wed, 26 Apr 2023 10:54:58 +0000
- To: public-css-archive@w3.org
Also, other than rounding thickness to device pixels, should it also be positioned in device pixels, so that it properly lines up with the pixel grid? -- GitHub Notification of comment by Loirooriol Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/8768#issuecomment-1523219839 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 26 April 2023 10:55:00 UTC