docs: use OpenSans as main font

Most people also read PDFs online ...

diff --git a/docs/conf.py b/docs/conf.py
index cd0c613c3d2766170e994ad7cc6f5275ba20e8ba..dcc451240c74deb1c8595eb50d6d59fdecb5148e 100644 (file)
--- 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}
 ''',