diff options
| author | lonkaars <loek@pipeframe.xyz> | 2022-11-19 17:50:39 +0100 |
|---|---|---|
| committer | lonkaars <loek@pipeframe.xyz> | 2022-11-19 17:50:39 +0100 |
| commit | 27ef32dd82d69d2c8cdcae96cab713696399a281 (patch) | |
| tree | 3cc134946b6d4e804b40a3062acbc1e27d52c8ef /docs/gen | |
| parent | e4966d5a01ef5aef24527fb713232d152f057fef (diff) | |
small cleanup + fix pdf output of makefile
Diffstat (limited to 'docs/gen')
| -rw-r--r-- | docs/gen/doc.m4 | 29 |
1 files changed, 11 insertions, 18 deletions
diff --git a/docs/gen/doc.m4 b/docs/gen/doc.m4 index d049d0f..ec4c858 100644 --- a/docs/gen/doc.m4 +++ b/docs/gen/doc.m4 @@ -9,26 +9,19 @@ define(`docname', <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); - } + `<script defer> + window.onload = function() { + 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; + } - 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)); - }); - } + item.setAttribute("heading-num-fix", heading.substr(0, heading.length - 1)); + }); } - Paged.registerHandlers(HeadingNumFix); </script>' </head> <body> |