Updated the switcher

.docs/overrides/main.html

@@ -8,20 +8,4 @@
     <option value="1.4.0">1.4.0</option>
     <option value="1.3.0">1.3.0</option>
 </select>
-<script>
-    function getVersion() {
-        const segments = location.pathname.split('/')
-        console.debug('segments', segments)
-        if (segments.length >= 4) {
-            return segments[3]
-        } else {
-            return '__APPVERSION__'
-        }
-    }
-    function switchVersion(value) {
-        if (!value) { return }
-        this.location.href = location.protocol + '//' + location.host + '/infrastructures/dbrepo/' + value + '/'
-    }
-    document.getElementById("version").value = getVersion()
-</script>
 {% endblock %}

.docs/scripts/extra.js

+function getVersion() {
+    const segments = location.pathname.split('/');
+    if (segments.length >= 4) {
+        return segments[3];
+    } else {
+        return '__APPVERSION__';
+    }
+}
+function switchVersion(value) {
+    if (!value) { return }
+    this.location.href = location.protocol + '//' + location.host + '/infrastructures/dbrepo/' + value + '/';
+}
+document.getElementById("version").value = getVersion();
\ No newline at end of file

mkdocs.yml

@@ -43,6 +43,8 @@ nav:
   - contact.md
 extra_css:
   - stylesheets/extra.css
+extra_javascript:
+  - scripts/extra.js
 theme:
   favicon: images/signet_white.png
   custom_dir: .docs/overrides