Re: STIXfonts & Mozilla MathML?

[email protected] wrote:

> It seems to me that the right way to do this on a per-user basis is to
> create/edit the file
> ~/.mozilla/firefox/<profile>/chrome/userContent.css and add something
> like the following to it:

Thanks for this hint!

> math {
>   font-family: STIXGeneral, STIXVariants, STIXIntegralsSmall,
>   STIXIntegralsDisplay, STIXIntegralsUp, STIXIntegralsUpSmall,
>   STIXIntegralsUpDisplay, STIXSize1Symbols, STIXSize2Symbols,
>   STIXSize3Symbols, STIXSize4Symbols, STIXSize5Symbols;
> }

> [...]
>
> This does not list all available fonts, and I'm not sure which of
> these are actually needed (probably all available in general), but it
> seems to render my math correctly, including math bold italic and
> stretchy characters.

>From where do you get these font names? My fontviewer (this useless KDE
font viewer) says that there are only the following font-families:

STIXGeneral, STIXIntegrals, STIXSize1, STIXSize2, STIXSize3, STIXSize4,
STIXSize5, STIXVariants, STIXNonUnicode

Many of the font files belong to the same family! I believe that the
font system handles this automatically.
So I think the correct list is:

math {
    font-family: STIXGeneral, STIXIntegrals, STIXSize1, STIXSize2,
STIXSize3, STIXSize4, STIXSize5, STIXVariants, STIXNonUnicode;
}

Or am I missing something? Am I doing something wrong?

Another thing: Does someone know how to find out in firefox from which
font a character of a rendered document has been taken?

Greetings 
Urs