From 25917ed0c1e01b6d7cc2ddac5bfca1c4238e96c2 Mon Sep 17 00:00:00 2001
From: muqiuhan <muqiuhan@users.noreply.github.com>
Date: Sun, 15 Mar 2026 15:09:53 +0000
Subject: deploy: 6a321a6e20ead9aeea588c009b5445c76260ea92

---
 2024/07/01/OCaml-News-2024-4/index.html            | 37 ++--------------------
 .../index.html"                                    | 37 ++--------------------
 2024/07/23/OCaml-News-2024-6/index.html            | 37 ++--------------------
 3 files changed, 6 insertions(+), 105 deletions(-)

(limited to '2024/07')

diff --git a/2024/07/01/OCaml-News-2024-4/index.html b/2024/07/01/OCaml-News-2024-4/index.html
index e9487cfe..e5b83ed2 100644
--- a/2024/07/01/OCaml-News-2024-4/index.html
+++ b/2024/07/01/OCaml-News-2024-4/index.html
@@ -140,8 +140,8 @@
                 
                   
                     
-                      <li class="menu-item search-btn">
-                        <a href="#">搜索</a>
+                      <li class="menu-item">
+                        <a href="/search">搜索</a>
                       </li>
                       
         </ul>
@@ -410,39 +410,6 @@
 
 
     </div>
-
-    
-      <div class="search-popup">
-    <div class="search-popup-overlay">  
-    </div>
-    <div class="search-popup-window" >
-        <div class="search-header">
-            <div class="search-input-container">
-              <input autocomplete="off" autocapitalize="off" maxlength="80"
-                     placeholder="Search Anything" spellcheck="false"
-                     type="search" class="search-input">
-            </div>
-            <div class="search-close-btn">
-                <div class="icon close-btn"></div>
-            </div>
-        </div>
-        <div class="search-result-container">
-        </div>
-    </div>
-</div>
-
-<script>
-    const searchConfig = {
-        path             : "/search.xml",
-        top_n_per_article: "1",
-        unescape         : "false",
-        trigger: "auto",
-        preload: "false"
-    }
-</script>
-<script src="https://cdn.jsdelivr.net/npm/hexo-generator-searchdb@1.4.0/dist/search.js"></script>
-<script src="/js/search.js"></script>
-    
     
     <script src="/js/mermaid-zoom.js"></script>
 
diff --git "a/2024/07/09/\347\245\236\347\273\217\347\263\273\347\273\237\351\207\215\347\202\271/index.html" "b/2024/07/09/\347\245\236\347\273\217\347\263\273\347\273\237\351\207\215\347\202\271/index.html"
index d6f17f74..ab95a5e6 100644
--- "a/2024/07/09/\347\245\236\347\273\217\347\263\273\347\273\237\351\207\215\347\202\271/index.html"
+++ "b/2024/07/09/\347\245\236\347\273\217\347\263\273\347\273\237\351\207\215\347\202\271/index.html"
@@ -140,8 +140,8 @@
                 
                   
                     
-                      <li class="menu-item search-btn">
-                        <a href="#">搜索</a>
+                      <li class="menu-item">
+                        <a href="/search">搜索</a>
                       </li>
                       
         </ul>
@@ -451,39 +451,6 @@
 
 
     </div>
-
-    
-      <div class="search-popup">
-    <div class="search-popup-overlay">  
-    </div>
-    <div class="search-popup-window" >
-        <div class="search-header">
-            <div class="search-input-container">
-              <input autocomplete="off" autocapitalize="off" maxlength="80"
-                     placeholder="Search Anything" spellcheck="false"
-                     type="search" class="search-input">
-            </div>
-            <div class="search-close-btn">
-                <div class="icon close-btn"></div>
-            </div>
-        </div>
-        <div class="search-result-container">
-        </div>
-    </div>
-</div>
-
-<script>
-    const searchConfig = {
-        path             : "/search.xml",
-        top_n_per_article: "1",
-        unescape         : "false",
-        trigger: "auto",
-        preload: "false"
-    }
-</script>
-<script src="https://cdn.jsdelivr.net/npm/hexo-generator-searchdb@1.4.0/dist/search.js"></script>
-<script src="/js/search.js"></script>
-    
     
     <script src="/js/mermaid-zoom.js"></script>
 
diff --git a/2024/07/23/OCaml-News-2024-6/index.html b/2024/07/23/OCaml-News-2024-6/index.html
index 97ee7637..b8b5a204 100644
--- a/2024/07/23/OCaml-News-2024-6/index.html
+++ b/2024/07/23/OCaml-News-2024-6/index.html
@@ -140,8 +140,8 @@
                 
                   
                     
-                      <li class="menu-item search-btn">
-                        <a href="#">搜索</a>
+                      <li class="menu-item">
+                        <a href="/search">搜索</a>
                       </li>
                       
         </ul>
@@ -377,39 +377,6 @@
 
 
     </div>
-
-    
-      <div class="search-popup">
-    <div class="search-popup-overlay">  
-    </div>
-    <div class="search-popup-window" >
-        <div class="search-header">
-            <div class="search-input-container">
-              <input autocomplete="off" autocapitalize="off" maxlength="80"
-                     placeholder="Search Anything" spellcheck="false"
-                     type="search" class="search-input">
-            </div>
-            <div class="search-close-btn">
-                <div class="icon close-btn"></div>
-            </div>
-        </div>
-        <div class="search-result-container">
-        </div>
-    </div>
-</div>
-
-<script>
-    const searchConfig = {
-        path             : "/search.xml",
-        top_n_per_article: "1",
-        unescape         : "false",
-        trigger: "auto",
-        preload: "false"
-    }
-</script>
-<script src="https://cdn.jsdelivr.net/npm/hexo-generator-searchdb@1.4.0/dist/search.js"></script>
-<script src="/js/search.js"></script>
-    
     
     <script src="/js/mermaid-zoom.js"></script>
 
-- 
cgit v1.2.3