2 files changed, 16 insertions, 0 deletions
diff --git a/core/src/main/resources/dokka/scripts/scripts.js b/core/src/main/resources/dokka/scripts/scripts.js
new file mode 100644
index 00000000..c2e29b9f
--- /dev/null
+++ b/core/src/main/resources/dokka/scripts/scripts.js
@@ -0,0 +1,11 @@
+document.getElementById("navigationFilter").oninput = function (e) {
+	var input = e.target.value;
+	var menuParts = document.getElementsByClassName("sideMenuPart")
+	for (let part of menuParts) {
+    	if(part.querySelector("a").textContent.startsWith(input)) {
+    		part.classList.remove("filtered");
+    	} else {
+    		part.classList.add("filtered");
+    	}
+	}
+}
+\ No newline at end of file
diff --git a/core/src/main/resources/dokka/scripts/search.js b/core/src/main/resources/dokka/scripts/search.js
new file mode 100644
index 00000000..63112ac5
--- /dev/null
+++ b/core/src/main/resources/dokka/scripts/search.js
@@ -0,0 +1,5 @@
+var query = new URLSearchParams(window.location.search).get("query");
+    document.getElementById("searchTitle").innerHTML += '"' + query + '":';
+    document.getElementById("searchTable").innerHTML = pages.filter(el => el.name.startsWith(query)).reduce((acc, element) => { return acc +
+        '<tr><td><a href="' + element.location + '">' + element.name + '</a></td></tr>'
+    }, "");
+\ No newline at end of file