diff options
| author | Jack Lloyd <[email protected]> | 2018-05-22 18:12:42 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-05-22 18:12:42 -0400 |
| commit | b57839c5a303f4c1ba9b49f489dbdd12d26023a5 (patch) | |
| tree | 3a09f89e4359f10369ed8b91767e4c2952b0fb01 /src/configs/sphinx | |
| parent | 3b030310798bf533b98808481cb647fefcfa5d91 (diff) | |
Sphinx: Avoid formatting problems in PDF index
Fixes #1573
Diffstat (limited to 'src/configs/sphinx')
| -rw-r--r-- | src/configs/sphinx/conf.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/configs/sphinx/conf.py b/src/configs/sphinx/conf.py index 92fb78ba7..2d675ab0e 100644 --- a/src/configs/sphinx/conf.py +++ b/src/configs/sphinx/conf.py @@ -213,3 +213,7 @@ latex_show_urls = 'inline' # If false, no module index is generated. latex_domain_indices = False + +latex_elements = { + 'printindex': '\\footnotesize\\raggedright\\printindex' +} |