diff options
Diffstat (limited to 'docs/gen/doc.m4')
-rw-r--r-- | docs/gen/doc.m4 | 23 |
1 files changed, 22 insertions, 1 deletions
diff --git a/docs/gen/doc.m4 b/docs/gen/doc.m4 index fe1c408..d049d0f 100644 --- a/docs/gen/doc.m4 +++ b/docs/gen/doc.m4 @@ -4,11 +4,32 @@ define(`docname', `UNKNOWN???'))dnl <!DOCTYPE html> -<html> +<html lang="en-US"> <link> <meta charset="utf-8"> <style>undivert(`gen/style.css')</style> <script>undivert(`gen/paged.polyfill.js')</script> + `<script> + class HeadingNumFix extends Paged.Handler { + constructor(chunker, polisher, caller) { + super(chunker, polisher, caller); + } + + afterRendered(_) { + document.querySelectorAll("nav li").forEach(item => { + var heading = ""; + var parent = item; + for (parent = item; parent.nodeName != "NAV"; parent = parent.parentNode) { + if (parent.nodeName != "LI") continue; + heading = parent.getAttribute("data-item-num") + "." + heading; + } + + item.setAttribute("heading-num-fix", heading.substr(0, heading.length - 1)); + }); + } + } + Paged.registerHandlers(HeadingNumFix); + </script>' </head> <body> <div class="docintro"> |