font: fix bug with missing unicode characters in latex

Some box charactes in the monospaced font were not available during pdf generation with latex. Switching from lmodern to DejaVu for monospaced font fixes these issues. Scaling down the size of the DejaVu font a little matches it with lmodern. Signed-off-by: Jonas Remmert <[email protected]>
phytec · Apr 5, 2024 · 80e6505 · 80e6505
1 parent 949e377
commit 80e6505
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/source/conf.py b/source/conf.py
@@ -93,7 +93,11 @@
 latex_engine = 'xelatex'
 
 latex_elements = {
-    'fontpkg': '\\usepackage{lmodern}'
+    'fontpkg': '\\usepackage{lmodern}',
+    'preamble': '''
+      \\usepackage{fontspec}
+      \\setmonofont{DejaVu Sans Mono}[Scale=0.8]
+    ''',
 }
 
 latex_documents = [