docpdf: add dot leaders in ToC

2023-09-12 09:42:07 +07:00 · 2023-09-12 09:42:07 +07:00 · e2e5371e14
parent e88d3b8483
commit e2e5371e14
1 changed files with 2 additions and 1 deletions
--- 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;