From fc598cdbe197d49bf61cde8ad330ce6b962fb99a Mon Sep 17 00:00:00 2001
From: Dietmar Maurer <dietmar@proxmox.com>
Date: Mon, 4 May 2020 10:15:27 +0200
Subject: [PATCH] docs: use better fonts for PDFs

Font XCharter and Lato have better quality.
---
 docs/Makefile | 2 +-
 docs/conf.py  | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/docs/Makefile b/docs/Makefile
index 6928ecdf..d7682e54 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -73,7 +73,7 @@ html: ${GENERATED_SYNOPSIS}
 
 .PHONY: latexpdf
 latexpdf: ${GENERATED_SYNOPSIS}
-	@echo "Requires python3-sphinx, texlive-xetex and xindy"
+	@echo "Requires python3-sphinx, texlive-xetex, xindy and texlive-fonts-extra"
 	$(SPHINXBUILD) -b latex $(ALLSPHINXOPTS) $(BUILDDIR)/latex
 	@echo "Running LaTeX files through xelatex..."
 	$(MAKE) -C $(BUILDDIR)/latex all-pdf
diff --git a/docs/conf.py b/docs/conf.py
index 356450aa..cd0c613c 100644
--- 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}
 ''',