docs: use better fonts for PDFs

Font XCharter and Lato have better quality.
2020-05-04 10:15:27 +02:00
parent bca294a17c
commit fc598cdbe1
2 changed files with 3 additions and 3 deletions
--- a/docs/conf.py
+++ b/docs/conf.py
@ -280,8 +280,8 @@ latex_elements = {
     'pointsize': '10pt',

    'fontpkg': r'''
-\setmainfont{DejaVu Serif}
-\setsansfont{DejaVu Sans}
+\setmainfont{XCharter}
+\setsansfont{Lato}
 \setmonofont{DejaVu Sans Mono}
 ''',