>
> > When I replace XITS with STIX in the html code, everything looks nice.
> I'm
> > not sure what this entails, but would it be possible/desirable to switch
> > from XITS to STIX ?
>
> It's possible. As you noted, a new version of STIX has been released, and
> it
> might produce "better" results than XITS.
>
> I think we ought to try it out on many platforms before committing to such
> a change.
> Sometimes fonts work well only on specific platforms, and that wouldn't be
> good.
>
To ease testing from multiple platforms and browsers, one could add to
us2.metamath.org/ a page mpeuni/mmascii-STIX.html using STIX 2 instead of
XITS. One simply needs to replace the lines
@font-face { font-family: XITSMath-Regular; src: url(xits-math.woff);
} .math { font-family: XITSMath-Regular }
with the corresponding STIX version. I'm not sure whether it is
font-family: STIX2Math;
src: url(STIX2Math.woff2);
or a variant (e.g. STIXTwoMath). Then, we could easily compare ascii.html
with ascii-STIX.html from several browsers, devices, etc. before switching.
Benoit
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/462e3154-5486-4c6f-80c4-86d151c79a8e%40googlegroups.com.
