fix navbar & path highlighting

This commit is contained in:
2023-06-17 15:04:57 +02:00
parent 1b794e0742
commit 2d6911b324
26 changed files with 436 additions and 265 deletions

3
website/dist/docs/js/nav.js vendored Normal file
View File

@@ -0,0 +1,3 @@
function toggleList( element ) {
$( '#' + element ).slideToggle();
}