@@ -367,6 +367,22 @@ window.addEventListener("scroll", event => {
367367 }
368368 });
369369
370−});
370+ // this is honestly weird UX when selecting a link,
371+ // as every header flies open as you scroll.
372+ // for later discussion and experimentation --
373+ // may just need debouncing.
374+ // Also still working out the logic for closing other summary
375+ // headers as you scroll.
376+
377+// headers.forEach(summary => {
378+// let thisH2 = document.querySelector("h2#" + CSS.escape(summary.id));
379+// if (
380+// (thisH2.offsetTop <= fromTop) &&
381+// (thisH2.offsetTop + thisH2.offsetHeight > fromTop)
382+// ) {
383+// summary.parentElement.open = true;
384+// }
385+// })
386+//});
371387
372388}