summaryrefslogtreecommitdiff
path: root/doc/conf.py
diff options
context:
space:
mode:
Diffstat (limited to 'doc/conf.py')
-rw-r--r--doc/conf.py7
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/conf.py b/doc/conf.py
index 3c8b9eae1..43b0d72b3 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -56,8 +56,13 @@ latex_documents = [('contents', 'sphinx.tex', 'Sphinx Documentation',
'Georg Brandl', 'manual', 1)]
latex_logo = '_static/sphinx.png'
latex_elements = {
- 'fontpkg': '\\usepackage{palatino}',
+ 'fontpkg': r'''
+\usepackage[sc]{mathpazo}
+\usepackage[scaled]{helvet}
+\usepackage{courier}
+''',
'passoptionstopackages': '\\PassOptionsToPackage{svgnames}{xcolor}',
+ 'preamble': '\\fvset{fontsize=auto}',
# fix missing index entry due to RTD doing only once pdflatex after makeindex
'printindex': r'''
\IfFileExists{\jobname.ind}