Extra fonts needed by Indico servers (for PDF generation) - View it on GitHub