From fcf3c07b48cb6a321b4881f1421c9c005669631d Mon Sep 17 00:00:00 2001
From: Claude <noreply@anthropic.com>
Date: Sun, 22 Feb 2026 03:40:35 +0000
Subject: [PATCH 1/4] Remove search bar from documentation site

Removes the MkDocs search functionality entirely:
- Remove search button and interface from header.html
- Remove search.highlight feature from mkdocs.yml
- Remove search plugin from mkdocs.yml plugins list

https://claude.ai/code/session_01PwDdRBFrPDFU3Maci9w4sv
---
 docs/theme/partials/header.html | 10 ----------
 mkdocs.yml                      |  2 --
 2 files changed, 12 deletions(-)

diff --git a/docs/theme/partials/header.html b/docs/theme/partials/header.html
index eedf3ac6..d3935e50 100644
--- a/docs/theme/partials/header.html
+++ b/docs/theme/partials/header.html
@@ -74,16 +74,6 @@
     {% if config.extra.alternate %} {% include "partials/alternate.html" %} {%
     endif %}
 
-    <!-- Button to open search modal -->
-    {% if "material/search" in config.plugins %}
-    <label class="md-header__button md-icon" for="__search">
-      {% set icon = config.theme.icon.search or "material/magnify" %} {% include
-      ".icons/" ~ icon ~ ".svg" %}
-    </label>
-
-    <!-- Search interface -->
-    {% include "partials/search.html" %} {% endif %}
-
     <!-- Repository information -->
     {% if config.repo_url %}
     <div class="md-header__source">{% include "partials/source.html" %}</div>
diff --git a/mkdocs.yml b/mkdocs.yml
index d7c78004..b78a0191 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -158,7 +158,6 @@ theme:
     - navigation.tabs
     - navigation.tabs.sticky
     - navigation.sections
-    - search.highlight
 
 extra_css:
   - stylesheets/extra.css
@@ -181,7 +180,6 @@ markdown_extensions:
 
 plugins:
   - blog
-  - search
   - mkdocstrings:
       default_handler: python
 

From d088114a9ca7a2844dbcc199e248b6bc19d3e747 Mon Sep 17 00:00:00 2001
From: Claude <noreply@anthropic.com>
Date: Sun, 22 Feb 2026 03:46:52 +0000
Subject: [PATCH 2/4] Restore search bar using built-in MkDocs search plugin

After removing the doc bot, restore the search bar to use the standard
MkDocs search plugin instead.

https://claude.ai/code/session_01PwDdRBFrPDFU3Maci9w4sv
---
 docs/theme/partials/header.html | 10 ++++++++++
 mkdocs.yml                      |  2 ++
 2 files changed, 12 insertions(+)

diff --git a/docs/theme/partials/header.html b/docs/theme/partials/header.html
index d3935e50..eedf3ac6 100644
--- a/docs/theme/partials/header.html
+++ b/docs/theme/partials/header.html
@@ -74,6 +74,16 @@
     {% if config.extra.alternate %} {% include "partials/alternate.html" %} {%
     endif %}
 
+    <!-- Button to open search modal -->
+    {% if "material/search" in config.plugins %}
+    <label class="md-header__button md-icon" for="__search">
+      {% set icon = config.theme.icon.search or "material/magnify" %} {% include
+      ".icons/" ~ icon ~ ".svg" %}
+    </label>
+
+    <!-- Search interface -->
+    {% include "partials/search.html" %} {% endif %}
+
     <!-- Repository information -->
     {% if config.repo_url %}
     <div class="md-header__source">{% include "partials/source.html" %}</div>
diff --git a/mkdocs.yml b/mkdocs.yml
index b78a0191..d7c78004 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -158,6 +158,7 @@ theme:
     - navigation.tabs
     - navigation.tabs.sticky
     - navigation.sections
+    - search.highlight
 
 extra_css:
   - stylesheets/extra.css
@@ -180,6 +181,7 @@ markdown_extensions:
 
 plugins:
   - blog
+  - search
   - mkdocstrings:
       default_handler: python
 

From e7bf1577d61fab1309795dbef54aa6754b9e432e Mon Sep 17 00:00:00 2001
From: Claude <noreply@anthropic.com>
Date: Sun, 22 Feb 2026 03:50:31 +0000
Subject: [PATCH 3/4] Fix search bar to use built-in MkDocs search
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

- Restore data-md-component="search" (was "searchOVERRIDEN" for docbot)
- Replace "Ask Docs bot" placeholder with standard search placeholder
- Remove ⌘K shortcut badge CSS

https://claude.ai/code/session_01PwDdRBFrPDFU3Maci9w4sv
---
 docs/stylesheets/extra.css      | 18 ------------------
 docs/theme/partials/search.html |  4 ++--
 2 files changed, 2 insertions(+), 20 deletions(-)

diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css
index d8fe6247..68e4dcf5 100644
--- a/docs/stylesheets/extra.css
+++ b/docs/stylesheets/extra.css
@@ -189,24 +189,6 @@ p {
   color: var(--md-default-bg-color--dark);
 }
 
-/* Based on https://github.com/squidfunk/mkdocs-material/issues/2574#issuecomment-821979698 */
-[data-md-toggle='search']:not(:checked) ~ .md-header .md-search__form::after {
-  position: absolute;
-  top: 0.3rem;
-  right: 0.5rem;
-  display: block;
-  padding: 0.1rem 0.4rem;
-  background: var(--md-default-bg-color);
-  color: var(--md-default-bg-color--dark);
-  font-weight: bold;
-  font-size: 0.8rem;
-  border: 0.05rem solid var(--md-default-bg-color--lighter);
-  box-shadow: 0 1px 2px var(--md-default-bg-color--lighter);
-  text-shadow: 0 1px 0 var(--md-default-bg-color--lighter);
-  border-radius: 0.2rem;
-  z-index: 9;
-  content: '⌘ K';
-}
 
 [data-md-color-scheme='mesop-dark'] .md-logo {
   filter: invert(1);
diff --git a/docs/theme/partials/search.html b/docs/theme/partials/search.html
index a5f86bb2..2871ac89 100644
--- a/docs/theme/partials/search.html
+++ b/docs/theme/partials/search.html
@@ -1,5 +1,5 @@
 <!-- https://github.com/squidfunk/mkdocs-material/blob/d5363ad000d049b25ce0f66c3781040d277bfa7f/src/templates/partials/search.html -->
-<div class="md-search" data-md-component="searchOVERRIDEN" role="dialog">
+<div class="md-search" data-md-component="search" role="dialog">
   <label class="md-search__overlay" for="__search"></label>
   <div class="md-search__inner" role="search">
     <form class="md-search__form" name="search">
@@ -8,7 +8,7 @@
         class="md-search__input"
         name="query"
         aria-label="{{ lang.t('search.placeholder') }}"
-        placeholder="Ask Docs bot"
+        placeholder="{{ lang.t('search.placeholder') }}"
         autocapitalize="off"
         autocorrect="off"
         autocomplete="off"

From 978f8768e4fb2576cfa56697983b52f757569255 Mon Sep 17 00:00:00 2001
From: Richard To <gohn76@gmail.com>
Date: Sun, 22 Feb 2026 20:36:37 +0000
Subject: [PATCH 4/4] Fix lint

---
 docs/stylesheets/extra.css | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css
index 68e4dcf5..89b46622 100644
--- a/docs/stylesheets/extra.css
+++ b/docs/stylesheets/extra.css
@@ -189,7 +189,6 @@ p {
   color: var(--md-default-bg-color--dark);
 }
 
-
 [data-md-color-scheme='mesop-dark'] .md-logo {
   filter: invert(1);
 }