- From: Emilio Cobos Álvarez via GitHub <sysbot+gh@w3.org>
- Date: Mon, 02 Sep 2024 19:38:05 +0000
- To: public-css-archive@w3.org
So right now you can get `hairline` border widths if you have `border-width: 0.01px` (or so), where the engine will round up to 1 device pixel. In https://github.com/w3c/csswg-drafts/issues/10819 I presented a use-case that isn't quite covered by this, because I actually want to use it to something like a shadow. I think the solution proposed there (previously proposed independently in https://github.com/w3c/csswg-drafts/issues/5986, cc @Crissov) of just a single environment variable is a good compromise between not making this too easy to use, yet still providing reasonable values for when you do need this. Thoughts @tabatkins? -- GitHub Notification of comment by emilio Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/3720#issuecomment-2325238556 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 2 September 2024 19:38:06 UTC