"use strict"; var indexScriptLoaded = false; function debounce(func, wait) { var timeout; return function () { var context = this; var args = arguments; clearTimeout(timeout); timeout = setTimeout(function () { timeout = null; func.apply(context, args); }, wait); }; } function makeTeaser(body, terms) { var TERM_WEIGHT = 40; var NORMAL_WORD_WEIGHT = 2; var FIRST_WORD_WEIGHT = 8; var TEASER_MAX_WORDS = 10; var stemmedTerms = terms.map(function (w) { return elasticlunr.stemmer(w.toLowerCase()); }); var termFound = false; var index = 0; var weighted = []; var sentences = body.toLowerCase().split(". "); for (var i in sentences) { var words = sentences[i].split(" "); var value = FIRST_WORD_WEIGHT; for (var j in words) { var word = words[j]; if (word.length > 0) { for (var k in stemmedTerms) { if (elasticlunr.stemmer(word).startsWith(stemmedTerms[k])) { value = TERM_WEIGHT; termFound = true; } } weighted.push([word, value, index]); value = NORMAL_WORD_WEIGHT; } index += word.length; index += 1; } index += 1; } if (weighted.length === 0) { return body; } var windowWeights = []; var windowSize = Math.min(weighted.length, TEASER_MAX_WORDS); var curSum = 0; for (var i = 0; i < windowSize; i++) { curSum += weighted[i][1]; } windowWeights.push(curSum); for (var i = 0; i < weighted.length - windowSize; i++) { curSum -= weighted[i][1]; curSum += weighted[i + windowSize][1]; windowWeights.push(curSum); } var maxSumIndex = 0; if (termFound) { var maxFound = 0; for (var i = windowWeights.length - 1; i >= 0; i--) { if (windowWeights[i] > maxFound) { maxFound = windowWeights[i]; maxSumIndex = i; } } } var teaser = []; var startIndex = weighted[maxSumIndex][2]; for (var i = maxSumIndex; i < maxSumIndex + windowSize; i++) { var word = weighted[i]; if (startIndex < word[2]) { teaser.push(body.substring(startIndex, word[2])); startIndex = word[2]; } if (word[1] === TERM_WEIGHT) { teaser.push(""); } startIndex = word[2] + word[0].length; teaser.push(body.substring(word[2], startIndex)); if (word[1] === TERM_WEIGHT) { teaser.push(""); } } teaser.push("…"); return teaser.join(""); } function formatSearchResultItem(item, terms) { return ( `` + `

` + `${item.doc.title}` + `

` + `
` + `${makeTeaser(item.doc.body, terms)}` + `
` + `
` ); } function search() { var $searchInput = document.getElementById("search"); var $searchResults = document.querySelector(".search-results"); var $searchResultsItems = document.querySelector(".search-results__items"); var MAX_ITEMS = 10; var options = { bool: "AND", fields: { title: { boost: 2 }, body: { boost: 1 }, }, }; var currentTerm = ""; var index = elasticlunr.Index.load(window.searchIndex); $searchInput.addEventListener( "keyup", debounce(function () { var term = $searchInput.value.trim(); if (term === currentTerm || !index) { return; } $searchResults.style.display = term === "" ? "none" : "block"; $searchResultsItems.innerHTML = ""; if (term === "") { return; } var results = index.search(term, options); if (results.length === 0) { $searchResults.style.display = "none"; return; } currentTerm = term; for (var i = 0; i < Math.min(results.length, MAX_ITEMS); i++) { var item = document.createElement("div"); item.classList.add("mb-4"); item.innerHTML = formatSearchResultItem(results[i], term.split(" ")); $searchResultsItems.appendChild(item); } }, 150) ); } function openSearchModal() { if (indexScriptLoaded === false) { var indexScript = document.createElement('script'); indexScript.setAttribute('src', './search_index.en.js'); document.head.appendChild(indexScript); indexScriptLoaded = true; } document.getElementById('search-modal').classList.remove('hidden'); document.getElementById('search').focus(); document.getElementById('search').select(); } function closeSearchModal() { document.getElementById('search-modal').classList.add('hidden'); } function documentReadyCallback() { if (localStorage.getItem("theme") === "dark") { document.body.setAttribute("theme", "dark"); document.querySelectorAll("img, picture, video, pre").forEach(img => img.setAttribute("theme", "dark")); document.querySelectorAll(".vimeo, .youtube, .chart").forEach(video => video.setAttribute("theme", "dark")); document.getElementById("dark-mode").setAttribute("title", "Switch to light theme"); } document.addEventListener('click', function(ev) { if (ev.target.matches('#nav-search-btn') || ev.target.matches('#nav-search-btn-icon')) { openSearchModal(); } else if (ev.target.matches('#close-modal-btn') || ev.target.matches('#close-modal-btn-icon') || !ev.target.closest('#search-modal')) { closeSearchModal(); } }); document.addEventListener('keydown', function(event) { if (event.altKey && event.key === 's') { if (document.getElementById('search-modal').classList.contains('hidden')) { openSearchModal(); } else { closeSearchModal(); } } }); document.addEventListener('keyup', function(ev) { if (ev.key === "Escape") { closeSearchModal(); } }); document.getElementById("search").addEventListener("keyup", () => { search(); }); if (typeof mermaid !== "undefined") { mermaid.initialize({ startOnLoad: true }); } if (typeof renderMathInElement !== "undefined") { renderMathInElement(document.body, { delimiters: [ { left: '$$', right: '$$', display: true }, { left: '$', right: '$', display: false }, { left: '\\(', right: '\\)', display: false }, { left: '\\[', right: '\\]', display: true } ] }); } }; if (document.readyState === 'loading') { // Loading hasn't finished yet document.addEventListener('DOMContentLoaded', documentReadyCallback); } else { // `DOMContentLoaded` has already fired documentReadyCallback(); }