plugins/base/src/main/resources/dokka/scripts/scripts.js


1
2
3
4
5
6
7
8
9
10
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");
    	}
	}
}