docs: use OpenSans as main font

Most people also read PDFs online ...
2020-05-04 10:48:09 +02:00 · 2020-05-04 10:48:09 +02:00 · 25cf09065f
parent fc598cdbe1
commit 25cf09065f
1 changed files with 1 additions and 1 deletions
--- a/docs/conf.py
+++ b/docs/conf.py
@ -280,7 +280,7 @@ latex_elements = {
     'pointsize': '10pt',

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