2023-06-17 19:07:40 +00:00
|
|
|
const bufferPx = 150
|
2023-07-23 00:27:41 +00:00
|
|
|
const observer = new IntersectionObserver((entries) => {
|
2023-06-17 19:07:40 +00:00
|
|
|
for (const entry of entries) {
|
|
|
|
const slug = entry.target.id
|
|
|
|
const tocEntryElement = document.querySelector(`a[data-for="${slug}"]`)
|
|
|
|
const windowHeight = entry.rootBounds?.height
|
|
|
|
if (windowHeight && tocEntryElement) {
|
|
|
|
if (entry.boundingClientRect.y < windowHeight) {
|
|
|
|
tocEntryElement.classList.add("in-view")
|
|
|
|
} else {
|
|
|
|
tocEntryElement.classList.remove("in-view")
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
})
|
|
|
|
|
2023-06-17 21:36:06 +00:00
|
|
|
function toggleToc(this: HTMLElement) {
|
2023-06-17 19:07:40 +00:00
|
|
|
this.classList.toggle("collapsed")
|
2024-08-09 01:07:47 +00:00
|
|
|
this.setAttribute(
|
|
|
|
"aria-expanded",
|
|
|
|
this.getAttribute("aria-expanded") === "true" ? "false" : "true",
|
|
|
|
)
|
2024-01-29 08:56:12 +00:00
|
|
|
const content = this.nextElementSibling as HTMLElement | undefined
|
|
|
|
if (!content) return
|
2023-06-17 19:07:40 +00:00
|
|
|
content.classList.toggle("collapsed")
|
|
|
|
content.style.maxHeight = content.style.maxHeight === "0px" ? content.scrollHeight + "px" : "0px"
|
|
|
|
}
|
|
|
|
|
2023-06-17 21:36:06 +00:00
|
|
|
function setupToc() {
|
2023-06-17 23:05:46 +00:00
|
|
|
const toc = document.getElementById("toc")
|
|
|
|
if (toc) {
|
2023-11-04 19:11:42 +00:00
|
|
|
const collapsed = toc.classList.contains("collapsed")
|
2024-01-29 08:56:12 +00:00
|
|
|
const content = toc.nextElementSibling as HTMLElement | undefined
|
|
|
|
if (!content) return
|
2023-11-04 19:11:42 +00:00
|
|
|
content.style.maxHeight = collapsed ? "0px" : content.scrollHeight + "px"
|
2023-06-17 23:05:46 +00:00
|
|
|
toc.addEventListener("click", toggleToc)
|
2024-02-02 04:07:14 +00:00
|
|
|
window.addCleanup(() => toc.removeEventListener("click", toggleToc))
|
2023-06-17 23:05:46 +00:00
|
|
|
}
|
2023-06-17 21:36:06 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
window.addEventListener("resize", setupToc)
|
|
|
|
document.addEventListener("nav", () => {
|
|
|
|
setupToc()
|
2023-06-17 19:07:40 +00:00
|
|
|
|
|
|
|
// update toc entry highlighting
|
|
|
|
observer.disconnect()
|
|
|
|
const headers = document.querySelectorAll("h1[id], h2[id], h3[id], h4[id], h5[id], h6[id]")
|
2023-07-23 00:27:41 +00:00
|
|
|
headers.forEach((header) => observer.observe(header))
|
2023-06-17 19:07:40 +00:00
|
|
|
})
|