// @license magnet:?xt=urn:btih:b8999bbaf509c08d127678643c515b9ab0836bae&dn=ISC.txt ISC
function init_toc_filter() {
    let el = document.getElementById("toc-filter");
    el.addEventListener("change", toc_filter);
    el.addEventListener("paste", toc_filter);
    el.addEventListener("keyup", toc_filter);
}

function toc_filter(event) {
    const val = this.value.toLowerCase();
    let els = document.querySelectorAll("#toc li");
    for (let i = 0; i < els.length; i++) {
        if (els[i].textContent.toLowerCase().indexOf(val) == -1) {
            els[i].style.display = "none";
        } else {
            els[i].style.display = "block";
        }
    }
}

init_toc_filter();
// @license-end