1document.querySelectorAll('div[data-anchor-links] a[href^="#"]').forEach(o=>{o.addEventListener("click",function(n){n.preventDefault();const e=document.querySelector(this.getAttribute("href"));if(!e)return;const t=e.getBoundingClientRect(),c=document.querySelector("#topnav").getBoundingClientRect().height,r=t.top+window.scrollY-c-t.height/2;window.scrollTo({top:r,behavior:"smooth"})})});
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.