https://bugzilla.wikimedia.org/show_bug.cgi?id=35498
--- Comment #1 from Brion Vibber <br...@wikimedia.org> 2012-03-26 20:08:37 UTC --- The webfonts are present and already managed by the extension. (What we didn't include are the so-called "image fonts", which is a butt-ton of PNG images at fixed sizes.) Right now it's set to default to the Tex web fonts; I'm not sure whether/what benefit there is to using the Stix web fonts instead/in addition. -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l