2022-01-24 17:36:50 +00:00
|
|
|
"use strict";
|
|
|
|
|
2022-01-27 14:03:27 +00:00
|
|
|
var indexScriptLoaded = false;
|
|
|
|
|
2022-01-24 17:36:50 +00:00
|
|
|
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("<b>");
|
|
|
|
}
|
|
|
|
startIndex = word[2] + word[0].length;
|
|
|
|
teaser.push(body.substring(word[2], startIndex));
|
|
|
|
|
|
|
|
if (word[1] === TERM_WEIGHT) {
|
|
|
|
teaser.push("</b>");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
teaser.push("…");
|
|
|
|
return teaser.join("");
|
|
|
|
}
|
|
|
|
|
|
|
|
function formatSearchResultItem(item, terms) {
|
|
|
|
return (
|
2022-01-27 17:10:37 +00:00
|
|
|
`<a href='${item.ref}' class='group flex flex-col space-y-2 hover:bg-gray-100 p-2 rounded focus:outline outline-garage-orange'>` +
|
2022-01-27 14:03:27 +00:00
|
|
|
`<h1 class='text-garage-orange font-semibold'>` + `${item.doc.title}` + `</h1>` +
|
|
|
|
`<div class='content mt-2'>` +
|
|
|
|
`${makeTeaser(item.doc.body, terms)}` +
|
|
|
|
`</div>` +
|
|
|
|
`</a>`
|
2022-01-24 17:36:50 +00:00
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
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)
|
|
|
|
);
|
2022-01-27 14:03:27 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
function openSearchModal() {
|
2022-01-27 17:10:37 +00:00
|
|
|
var baseUrl = window.location.protocol + "//" + window.location.host;
|
|
|
|
var indexScriptPath = baseUrl + '/search_index.en.js';
|
2022-01-27 14:03:27 +00:00
|
|
|
if (indexScriptLoaded === false) {
|
|
|
|
var indexScript = document.createElement('script');
|
2022-01-27 17:10:37 +00:00
|
|
|
indexScript.setAttribute('src', indexScriptPath);
|
2022-01-27 14:03:27 +00:00
|
|
|
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) {
|
2022-01-31 17:43:17 +00:00
|
|
|
if (!ev.target.closest('#search-modal')) {
|
2022-01-27 14:03:27 +00:00
|
|
|
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();
|
2022-01-26 13:44:47 +00:00
|
|
|
}
|