deploy: 05d06eff66ad0fffa1e26cde1278144196ac37f3

1 files changed, 9 insertions, 6 deletions

diff --git a/ref/theme/pagetoc.js b/ref/theme/pagetoc.js
index 5962db9f..3587d78b 100644
--- a/ref/theme/pagetoc.js
+++ b/ref/theme/pagetoc.js
@@ -54,12 +54,15 @@ window.addEventListener('load', () => {
   const pagetoc = getPagetoc();
   const headers = [...document.getElementsByClassName("header")];
   headers.forEach(header => {
-    const link = Object.assign(document.createElement("a"), {
-      textContent: header.text,
-      href: header.href,
-      className: `pagetoc-${header.parentElement.tagName}`
-    });
-    pagetoc.appendChild(link);
+    const parent = header.parentElement
+    if (!parent.classList.contains("toc-ignore")) {
+      const link = Object.assign(document.createElement("a"), {
+        textContent: [...parent.childNodes].map(({ textContent }) => textContent).join(''),
+        href: header.href,
+        className: `pagetoc-${parent.tagName}`
+      });
+      pagetoc.appendChild(link);
+    }
   });
   updateFunction();
   listenActive();