Better looking general index in PDF documentation

jfbu · jfbu · commit 459b2e573889 · 2019-11-30T19:20:24.000+01:00
modified:   doc/conf.py
diff --git a/doc/conf.py b/doc/conf.py
@@ -385,6 +385,9 @@ def _check_dependencies():
 # We need it as FreeMono has wide character glyphs.
 latex_elements['fvset'] = r'\fvset{fontsize=\small}'
 
+# Better looking general index in PDF
+latex_elements['printindex'] = r'\footnotesize\raggedright\printindex'
+
 # Documents to append as an appendix to all manuals.
 latex_appendices = []
 
