diff --git a/res/docpdf/make_paper.py b/res/docpdf/make_paper.py
index 79971b0cd..83dc966e9 100644
--- a/res/docpdf/make_paper.py
+++ b/res/docpdf/make_paper.py
@@ -227,7 +227,8 @@ if __name__ == "__main__":
             letter-spacing: .01em;
           }
           a.indexItemPre[href^='#']:after {
-            content: '';
+            content: ' ' leader('.') ' ';
+            font-size: 1em;
           }
           a.indexItem {
             float: right;