On 2008/12/10 23:15 (GMT+0200) Jukka K. Korpela composed:

> There is indeed a lot of variation...

That they do: http://fm.no-ip.com/auth/Font/font-rounding.html

> What's puzzling is that IE seems to _truncate_ e.g. 11.9px to 11px instead 
> of rounding it to 12px.

More than just seems to, and it doesn't really puzzle me. AFAIK, truncation
of px font size decimals is fallout from a M$ design decision made, probably
for <font size=X> and/or <big>/<small> handling, long before the existence of
CSS. What was the first IE made from, Mosaic? It wouldn't surprise me if that
held its inception.
-- 
"Unless the Lord builds the house, its builders labor
in vain."                       Psalm 127:1 NIV

 Team OS/2 ** Reg. Linux User #211409

Felix Miata  ***  http://fm.no-ip.com/
______________________________________________________________________
css-discuss [EMAIL PROTECTED]
http://www.css-discuss.org/mailman/listinfo/css-d
List wiki/FAQ -- http://css-discuss.incutio.com/
List policies -- http://css-discuss.org/policies.html
Supported by evolt.org -- http://www.evolt.org/help_support_evolt/

Reply via email to