Diff of /docs/source/js/custom.js [000000] .. [9e8054]

Switch to side-by-side view

--- a
+++ b/docs/source/js/custom.js
@@ -0,0 +1,6 @@
+window.addEventListener('load', (event) => {
+    var menu = document.querySelector(".wy-menu ul li:first-child")
+    if (!menu.classList.contains("current")) {
+        menu.classList.add("current")
+    }
+});
\ No newline at end of file