[Webkit-unassigned] [Bug 18291] vertical dotted line not seen. due to less pixel value of border:left

Thu Oct 20 04:44:43 PDT 2011

https://bugs.webkit.org/show_bug.cgi?id=18291

Tab Atkins <tabatkins at google.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |INVALID
                 CC|                            |tabatkins at google.com

--- Comment #3 from Tab Atkins <tabatkins at google.com>  2011-10-20 04:44:44 PST ---
Not a bug.  Precise rounding behavior is undefined in CSS.  The referenced page no longer has a relevant example, but if we assume that the testcase is exercising the same code, then the "problem" is that, with a font-size of 13px, a border of 0.0714em is rounding to zero.  It computes to .93px, which is allowed to be rounded down to 0.

(It's clear that the referenced page actually *wanted* a border of 1px, but dogmatically used the em unit out of some misguided attempt to be "scalable".  Unfortunately, they set the value to 1/14, which was either a mistake or a leftover from a time when the font-size was 14px.)

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.