Up till now, the generated PDF files were limited in the font types that could be used. In particular, only fonts that were installed on our server would be used in the PDF version.
We have now improved the PDF generator and made it possible to also use Google Font. So if you have used the Manual Settings to use a Google Font for your manual, or if you use Google Fonts through Custom CSS, now these font will actually be used in the Generated PDF version too!
Enjoy