Georges Dupéron 98c6ac9a57 Mark the STIX-Web font as available, not the STIX font. Should solve #5.		2017-07-07 16:57:55 +02:00
..
default.js	Mark the STIX-Web font as available, not the STIX font. Should solve #5.	2017-07-07 16:57:55 +02:00