File search.js

docs/src/assets/search.js:None–None

const root = document.currentScript.src.split("/").slice(0, -1).join("/");

function escapeHTML(html) {
    return document.createElement('div').appendChild(document.createTextNode(html)).parentNode.innerHTML;