diff --git a/.docs/overrides/main.html b/.docs/overrides/main.html
index 58f3797f382e683fc237610383e568015a96d8e4..9f9a6daf6fa57add34aa8e9170bc55315f5ed3b1 100644
--- a/.docs/overrides/main.html
+++ b/.docs/overrides/main.html
@@ -4,22 +4,8 @@
 <label for="version">Version</label>
 <select style="margin-left:8px;" id="version" name="version" onchange="switchVersion(this.options[this.selectedIndex].value)">
     <option value="latest">latest</option>
-    <option value="1.4">1.4</option>
-    <option value="1.3">1.3</option>
+    <option value="1.4.1">1.4.1</option>
+    <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('/')
-        if (segments.length >= 4) {
-            return segments[3]
-        } else {
-            return '1.4'
-        }
-    }
-    function switchVersion(value) {
-        if (!value) { return }
-        this.location.href = location.protocol + '//' + location.host + '/infrastructures/dbrepo/' + value + '/'
-    }
-    document.getElementById("version").value = getVersion()
-</script>
 {% endblock %}
diff --git a/.gitignore b/.gitignore
index 4785a0ee84c0ef772980a177e57eed473c4eeca7..0f101110ab01b228f201e424ad80d864b6628586 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,6 +7,7 @@ target/
 # generated
 ready
 schema.xsd
+swagger/
 
 # docs
 .docs/.swagger/dist/
diff --git a/mkdocs.yml b/mkdocs.yml
index b4dfba732c38d719639ace21b964457fde77f84e..d969b25f30d567f0493ef57def222bd3e85f35c2 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -42,6 +42,8 @@ nav:
   - contact.md
 extra_css:
   - stylesheets/extra.css
+extra_javascript:
+  - scripts/extra.js
 theme:
   favicon: images/signet_white.png
   custom_dir: .docs/overrides