W3C home > Mailing lists > Public > www-style@w3.org > March 2008

[CSS21] [css3-values] px and device pixels

From: fantasai <fantasai.lists@inkedblade.net>
Date: Fri, 21 Mar 2008 19:54:40 -0700
Message-ID: <47E474F0.7010708@inkedblade.net>
To: www-style@w3.org

I always thought it was in the spec, but it seems to be an unwritten
assumption, that CSS 'px' units should map to a whole number of device
pixels. The examples in the spec all assume rounding to a whole number
of device pixels. And while I don't think we should absolutely require
this (I know on printers defining "device pixel" is not straightforward),
I think it should be recommended as something to aim for.

Proposed change:

   "the user agent should rescale pixel values"
   "the user agent should rescale pixel units to a different whole number
   of device pixels"


Insert before
   "It is recommended that the reference pixel be..."
the sentence
   "It is recommended that the pixel unit refer to the whole number of
   device pixels that best approximates the reference pixel."

Received on Saturday, 22 March 2008 02:55:14 UTC

This archive was generated by hypermail 2.3.1 : Monday, 2 May 2016 14:27:35 UTC