Sphinx: Avoid formatting problems in PDF index

Fixes #1573

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'
+}