From 2c2d6a9f61a481b6b5e512e630ca3b409c927eba Mon Sep 17 00:00:00 2001
From: gdamore <gdamore@users.noreply.github.com>
Date: Sun, 5 Oct 2025 01:07:41 +0000
Subject: deploy: 05d06eff66ad0fffa1e26cde1278144196ac37f3

---
 ref/theme/pagetoc.js | 15 +++++++++------
 1 file 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();
-- 
cgit v1.2.3-70-g09d2