and tags as needed to get the ToC to // indend/unindent properly let currentIndentation; previousHeadings = currentHeadings; const entries = []; for (const h of Array.from(previousHeadings)) { if (hideStartingFrom && h.textContent === hideStartingFrom) { break; } let nodeIndentiation = parseInt(h.tagName[1], 10); if (typeof currentIndentation === "undefined") { // Add indentations as needed in case the initial header tag // isn't the top-level specified for this ToC currentIndentation = startIndentation; while (nodeIndentiation > currentIndentation) { currentIndentation++; entries.push("

"); currentIndentation++; } while (currentIndentation > nodeIndentiation) { entries.push("

${DOM.text(h.textContent)}

"); currentIndentation--; } let content; if (title) { content = html`${DOM.text(title)}

${entries}`; } notify(content); } const observer = new MutationObserver(observed); observer.observe(document.body, { childList: true, subtree: true }); observed(); return () => observer.disconnect(); }); }