functionfindCorrespondingTocTitle(n){return[...document.querySelectorAll("#toc li a")].find(e=>e.href.substring(e.href.indexOf("#"))==="#"+n.id)}document.addEventListener("DOMContentLoaded",function(){document.getElementById("navbar").clientHeight,document.getElementById("toc");vare=document.querySelectorAll("#toc li a");document.getElementById("page-content");lett=null,o=null;constn=newwindow.IntersectionObserver(e=>{e.forEach(n=>{if(console.log("observe"),n.isIntersecting){console.log("entry",n),console.log("current",o),null!==o&&(console.log("current",o.getBoundingClientRect().y),console.log("should stop"));lete=findCorrespondingTocTitle((o=n).target);void0===e||null!==t&&t===e||(null!==t&&t.parentElement.classList.remove("bg-blue-800"),t=e),e.parentElement.classList.add("bg-blue-800")}})},{root:null,threshold:.1});varl=[];[...e].forEach(e=>{l.push(e.href.substring(e.href.indexOf("#")))});constr=document.querySelectorAll(l.join(","));r.forEach(e=>{n.observe(e)})});