"use strict"; 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)}` + `` + `Read More ` + `` + `
` + `
` ); } 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 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.querySelector(".navbar-burger").addEventListener("click", () => { document.querySelector(".navbar-burger").classList.toggle("is-active"); document.querySelector(".navbar-menu").classList.toggle("is-active"); }); document.querySelectorAll("div.navbar-end > .navbar-item").forEach((el) => { if (location.href.includes(el.getAttribute("href"))) { document.querySelectorAll("a.navbar-item.is-active").forEach(itm => itm.classList.remove("is-active")); el.classList.add("is-active"); } }) document.getElementById("nav-search").addEventListener("click", (evt) => { //let target = evt.currentTarget.getAttribute("data-target"); document.querySelector("html").classList.add("is-clipped"); document.getElementById("search-modal").classList.add("is-active"); document.getElementById("search").focus(); document.getElementById("search").select(); }); document.querySelector(".modal-close").addEventListener("click", (evt) => { document.querySelector("html").classList.remove("is-clipped"); evt.currentTarget.parentElement.classList.remove("is-active"); }); document.querySelector(".modal-background").addEventListener("click", (evt) => { document.querySelector("html").classList.remove("is-clipped"); evt.currentTarget.parentElement.classList.remove("is-active"); }); document.getElementById("search").addEventListener("keyup", () => { search(); }); document.getElementById("dark-mode").addEventListener("click", () => { if ( localStorage.getItem("theme") == null || localStorage.getItem("theme") == "light" ) { localStorage.setItem("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"); } else { localStorage.setItem("theme", "light"); document.body.removeAttribute("theme", "dark"); document.querySelectorAll("img, picture, video, pre").forEach(img => img.removeAttribute("theme", "dark")) document.querySelectorAll(".vimeo, .youtube, .chart").forEach(video => video.removeAttribute("theme", "dark")); document.getElementById("dark-mode").setAttribute("title", "Switch to dark theme"); } }); if (typeof mermaid !== "undefined") { mermaid.initialize({ startOnLoad: true }); } if (typeof chartXkcd !== "undefined") { document.querySelectorAll(".chart").forEach((el, i) => { el.setAttribute("id", `chart-${i}`); let svg = document.getElementById(`chart-${i}`); let { type, ...chartData } = JSON.parse(el.textContent); new chartXkcd[type](svg, chartData); }); } if (typeof Galleria !== "undefined") { document.querySelectorAll(".galleria").forEach((el, i) => { el.setAttribute("id", `galleria-${i}`); let { images } = JSON.parse(el.textContent); for (let image of images) { el.insertAdjacentHTML("beforeend", `` ); } Galleria.run(".galleria"); }); } if (typeof mapboxgl !== "undefined") { document.querySelectorAll(".map").forEach((el, i) => { el.setAttribute("id", `map-${i}`); mapboxgl.accessToken = el.querySelector(".mapbox-access-token").textContent.trim(); let zoom = el.querySelector(".mapbox-zoom").textContent.trim(); let map = new mapboxgl.Map({ container: `map-${i}`, style: "mapbox://styles/mapbox/light-v10", center: [-96, 37.8], zoom: zoom, }); map.addControl(new mapboxgl.NavigationControl()); let geojson = JSON.parse(el.querySelector(".mapbox-geojson").textContent.trim()); const center = [0, 0]; geojson.features.forEach(function (marker) { center[0] += marker.geometry.coordinates[0]; center[1] += marker.geometry.coordinates[1]; new mapboxgl.Marker() .setLngLat(marker.geometry.coordinates) .setPopup( new mapboxgl.Popup({ offset: 25 }) // add popups .setHTML( "

" + marker.properties.title + "

" + marker.properties.description + "

" ) ) .addTo(map); }); center[0] = center[0] / geojson.features.length; center[1] = center[1] / geojson.features.length; map.setCenter(center); }); } 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(); }