Use WebFonts for the Docs

 Because the docs use a lot of unicode, including combining characters,
it is important to have then render right.

Shipping fonts as part of a website 
in the modern world this is pretty easy via https://fonts.google.com/