fix: make search box relative to <base> tag (leanprover#280)

leanprover-community · Feb 3, 2025 · 979086c · 979086c
1 parent b3c39de
commit 979086c
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/static/search/search-box.js b/static/search/search-box.js
@@ -320,7 +320,12 @@ class SearchBox {
    * @param {SearchResult} result
    */
   confirmResult(result) {
-    window.location.assign(result.item.address);
+    const base = document.querySelector('base');
+    if (base) {
+      window.location.assign(base.href + result.item.address);
+    } else {
+      window.location.assign(result.item.address);
+    }
   }
 
   /**