fix: Include page numbers in the TOC when generating PDF. (#993)

Add page numbers to the table of contents in the generated PDF.
ietf-tools · Jul 10, 2023 · 656a6ba · 656a6ba
1 parent 4971ae2
commit 656a6ba
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/xml2rfc/writers/pdf.py b/xml2rfc/writers/pdf.py
@@ -215,6 +215,12 @@ def flatten_unicode_spans(self, html):
       margin-top: 1em;
     }}
   }}
+  #toc nav ul li p a:nth-child(2)::after {{
+    content: target-counter(attr(href), page);
+    position: absolute;
+    right: 0px;
+    text-indent: 0px;
+  }}
 }}
 """