diff options
Diffstat (limited to 'doc/conf.py')
-rw-r--r-- | doc/conf.py | 7 |
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} |