Dokka html

dokka/scripts/search.js

@@ -0,0 +1,7 @@
+let query = new URLSearchParams(window.location.search).get("query");
+document.getElementById("searchTitle").innerHTML += '"' + query + '":';
+document.getElementById("searchTable").innerHTML = pages
+    .filter(el => el.name.toLowerCase().startsWith(query.toLowerCase()))
+    .reduce((acc, element) => {
+        return acc + '<tr><td><a href="' + element.location + '">' + element.name + '</a></td></tr>'
+    }, "");