From 521315003901755f11dfd0bc682cf169f8e29dba Mon Sep 17 00:00:00 2001
From: "behinger (s-ccs 001)" <benedikt.ehinger@vis.uni-stuttgart.de>
Date: Thu, 6 Feb 2025 22:02:22 +0100
Subject: [PATCH 1/2] renamed search... to search everywhere

---
 assets/default/flexsearch_integration.js | 2 +-
 src/search/flexsearch.jl                 | 2 +-
 src/search/stork.jl                      | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/assets/default/flexsearch_integration.js b/assets/default/flexsearch_integration.js
index 4ce51acb..bd22f69c 100644
--- a/assets/default/flexsearch_integration.js
+++ b/assets/default/flexsearch_integration.js
@@ -41,7 +41,7 @@
         })
 
         Promise.all(promises).then(() => {
-            input.setAttribute('placeholder', 'Search...')
+            input.setAttribute('placeholder', 'Search everywhere...')
             successfullyLoadedIndex = true
         }).catch(() => {
             input.setAttribute('placeholder', 'Error loading search data...')
diff --git a/src/search/flexsearch.jl b/src/search/flexsearch.jl
index fe7dfb6c..a2a41994 100644
--- a/src/search/flexsearch.jl
+++ b/src/search/flexsearch.jl
@@ -110,7 +110,7 @@ end
 function render()
     return @htl """
     <div class="search nav-item">
-        <input id="search-input" placeholder="Search...">
+        <input id="search-input" placeholder="Search everywhere...">
         <ul id="search-result-container" class="suggestions hidden">
         </ul>
         <div class="search-keybinding">/</div>
diff --git a/src/search/stork.jl b/src/search/stork.jl
index 9fc1bf83..57d50c2e 100644
--- a/src/search/stork.jl
+++ b/src/search/stork.jl
@@ -73,7 +73,7 @@ end
 function render()
     return @htl """
     <div class="search nav-item stork-wrapper">
-        <input id="search-input" class="stork-input" data-stork="multidocumenter" placeholder="Search...">
+        <input id="search-input" class="stork-input" data-stork="multidocumenter" placeholder="Search everywhere..">
         <div data-stork="multidocumenter-output" class="stork-output"></div>
         <div class="search-keybinding">/</div>
     </div>

From bde66b5a384ae542832a42563612c1df17c0d6cf Mon Sep 17 00:00:00 2001
From: "behinger (s-ccs 001)" <benedikt.ehinger@vis.uni-stuttgart.de>
Date: Thu, 6 Feb 2025 22:04:13 +0100
Subject: [PATCH 2/2] relax name for custom CSS

---
 src/MultiDocumenter.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/MultiDocumenter.jl b/src/MultiDocumenter.jl
index 5c4d3109..34efef2a 100644
--- a/src/MultiDocumenter.jl
+++ b/src/MultiDocumenter.jl
@@ -47,7 +47,7 @@ Represents one set of docs that will get an entry in the MultiDocumenter navigat
 struct MultiDocRef
     upstream::String
     path::String
-    name::String
+    name::Any
     fix_canonical_url::Bool
     giturl::String
     branch::String