docs: Use XeLaTeX for PDF documentation
doc: Use a 10pt font
Merge pull request #625 from rleigh-dundee/xelatex-pdf-develop

docs: Use XeLaTeX for PDF documentation (develop)