deploy: 05078a8

sbrunk · Oct 3, 2023 · 1d2f4ed · 1d2f4ed
1 parent ba58d62
commit 1d2f4ed
Show file tree

Hide file tree

Showing 179 changed files with 13,729 additions and 41,438 deletions.
diff --git a/api/index.html b/api/index.html
diff --git a/api/inkuire-db.json b/api/inkuire-db.json
diff --git a/api/scaladoc.version b/api/scaladoc.version
@@ -1 +1 @@
-3.3.0
+3.3.1
diff --git a/api/scripts/scaladoc-scalajs.js b/api/scripts/scaladoc-scalajs.js
diff --git a/api/scripts/searchData.js b/api/scripts/searchData.js
diff --git a/api/scripts/ux.js b/api/scripts/ux.js
@@ -309,6 +309,10 @@ document
       var selected = document.getElementById(location.hash.substring(1));
       if (selected) {
         selected.classList.toggle("expand");
+        selected.classList.toggle("expanded");
+        const btn = selected.querySelector(".icon-button");
+        btn.classList.toggle("expand");
+        btn.classList.toggle("expanded");
       }
     }
   }