W3C home > Mailing lists > Public > public-css-archive@w3.org > March 2019

Re: [csswg-drafts] [css-values] Proposal for add a devcie pixel unit (#3715)

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
Message-ID: <issue_comment.created-471317519-1552232764-sysbot+gh@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

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 06:41:45 UTC