[Webkit-unassigned] [Bug 13139] Font not inherited when font-family does not match a font.

[bugzilla-daemon at webkit.org]

http://bugs.webkit.org/show_bug.cgi?id=13139





------- Comment #12 from esprehn at gmail.com  2007-03-21 00:23 PDT -------
Seems something like checking for fonts in the order:

element style, special UA style for element, parent element

That way the element gets it first if applicable which is expected, then if
that cannot match and its an element with special font preference like <pre>
which solves the special case there and then finally take the parent element's
font as with other browsers.

This appears to be what Opera and IE7 do as well, though Gecko is less smart
about it and would make the <pre> sans-serif if the parent element was
sans-serif despite the fact that the pre generally is rendered with special
font consideration.

So as it stands:

Gecko:           element => parent element
Presto & IE7:    element => special font for element in UA sheet => parent
element
Safari:          element => Default font

Not sure what's right here, though Safari seems to be the only one ignoring the
parent element entirely. Presto and IE7's way seems pretty logical, though I
can see an argument for using the user defined default font in the preferences
instead.

Either way, at the very least I think using the one from the preferences makes
more sense than some hard coded value.

On a side note: What's the reason the fallback font was changed to Times?


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