[webkit-dev] Position on font-family: math

[Frédéric Wang]

Hello WebKittens,

I'd like to get opinion about implementing "font-family: math":

https://www.w3.org/TR/css-fonts-4/#valdef-font-family-math

This is a generic font family name from CSS fonts level 4, which is 
exactly doing what we need for MathML to get a default user-customizable 
math font (instead of the hardcoded values we currently have in the 
mathml.css UA sheet).

See also

https://webkit-search.igalia.com/webkit/rev/b28eaa8f270a9223d76cc4da9072d42baf2061fc/Source/WebCore/css/mathml.css#78

https://trac.webkit.org/wiki/MathML/Fonts#CustomizingMathFont

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

-- 
Frédéric Wang