fix anchors, and shallower padding

2023-11-01 14:52:36 +02:00
parent 08a2e6b28b
commit 28e1d121a9
1 changed files with 2 additions and 2 deletions
--- a/reporting/md-toc
+++ b/reporting/md-toc
@@ -43,7 +43,7 @@ def main():
    postspace = "  " if opts.f else ""
    counters = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
    lastlev = 0
-    re_anchor = re.compile("[^0-9a-z-]")
+    re_anchor = re.compile("[^0-9a-z_-]")

    entries = []
    marker_found = False