- From: Robert O'Callahan <robert@ocallahan.org>
- Date: Tue, 20 Jan 2009 11:37:43 +1300
- To: "David Woolley" <forums@david-woolley.me.uk>
- Cc: "www-style@w3.org" <www-style@w3.org>
Received on Monday, 19 January 2009 22:38:18 UTC
On Tue, Jan 20, 2009 at 11:29 AM, David Woolley <forums@david-woolley.me.uk>wrote: > > Alex Mogilevsky wrote: > >> I think this was proposed before, and there are good use cases. >> >> On high resolution monitors, 'px' unit is bigger than device pixel >> > + (e.g. px=1/96in while device pixel is 1/144in). This results in > > Such an implementation would be broken. Valid values for px on such a > device would be 1/72in or 1/144in. My feeling is that it probably isn't > high enough resolution to step to two device pixels per CSS pixel. > Yeah, in Gecko we ended up always rounding the ratio down, due to user feedback. Rob -- "He was pierced for our transgressions, he was crushed for our iniquities; the punishment that brought us peace was upon him, and by his wounds we are healed. We all, like sheep, have gone astray, each of us has turned to his own way; and the LORD has laid on him the iniquity of us all." [Isaiah 53:5-6]
Received on Monday, 19 January 2009 22:38:18 UTC