- From: Tab Atkins Jr. via GitHub <sysbot+gh@w3.org>
- Date: Sun, 10 Mar 2019 15:46:05 +0000
- To: public-css-archive@w3.org
> Well, 0.5 css pixel is a good choice. If you're okay with .5px, you can just write .5px. That's not 1 device pixel, tho, which is Florian's point - 1 device pixel might be 1px, or .5px, or .33px (or, since most phones resolutions are actually *not* a clean multiple, something like .48px). It's very rare for someone to *actually* want a device pixel; they typically just want "a hairline-thin line, but rounded to the nearest device pixel", so yeah, something like `dp-round(.5px)`, as Florian suggests, would do the job without exposing the footgun of actual device pixels. -- GitHub Notification of comment by tabatkins Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/3715#issuecomment-471317519 using your GitHub account
Received on Sunday, 10 March 2019 15:46:06 UTC