From 92786ebde377dd000b15549c28577612d397d8c4 Mon Sep 17 00:00:00 2001 From: Vitaly Zaitsev Date: Fri, 25 Jan 2019 14:21:26 +0100 Subject: [PATCH] Configure LaTeX fonts. --- source/conf.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/source/conf.py b/source/conf.py index b18270fc..c1a4e028 100644 --- a/source/conf.py +++ b/source/conf.py @@ -142,8 +142,8 @@ latex_engine = 'xelatex' latex_elements = { 'fontpkg': r''' -\setmainfont{DejaVu Sans} -\setromanfont{DejaVu Serif} +\setmainfont{DejaVu Serif} +\setromanfont{DejaVu Sans} \setsansfont{DejaVu Sans} \setmonofont{DejaVu Sans Mono} '''