From 25cf09065fee316f73bb85a6f54e470bcd083c8c Mon Sep 17 00:00:00 2001 From: Dietmar Maurer Date: Mon, 4 May 2020 10:48:09 +0200 Subject: [PATCH] docs: use OpenSans as main font Most people also read PDFs online ... --- docs/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/conf.py b/docs/conf.py index cd0c613c..dcc45124 100644 --- 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} ''',