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

---
 .../index.html"                                    | 37 ++--------------------
 .../08/15/poll-error-attribute-in-OCaml/index.html | 37 ++--------------------
 .../index.html"                                    | 37 ++--------------------
 .../index.html"                                    | 37 ++--------------------
 .../index.html"                                    | 37 ++--------------------
 5 files changed, 10 insertions(+), 175 deletions(-)

(limited to '2023/08')

diff --git "a/2023/08/01/\344\272\214\343\200\207\344\272\214\344\270\211\345\271\264\345\205\253\346\234\210\344\270\200\346\227\245/index.html" "b/2023/08/01/\344\272\214\343\200\207\344\272\214\344\270\211\345\271\264\345\205\253\346\234\210\344\270\200\346\227\245/index.html"
index 5c7d28b1..dc9226ba 100644
--- "a/2023/08/01/\344\272\214\343\200\207\344\272\214\344\270\211\345\271\264\345\205\253\346\234\210\344\270\200\346\227\245/index.html"
+++ "b/2023/08/01/\344\272\214\343\200\207\344\272\214\344\270\211\345\271\264\345\205\253\346\234\210\344\270\200\346\227\245/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>
@@ -245,39 +245,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/2023/08/15/poll-error-attribute-in-OCaml/index.html b/2023/08/15/poll-error-attribute-in-OCaml/index.html
index df5807c6..6e830f51 100644
--- a/2023/08/15/poll-error-attribute-in-OCaml/index.html
+++ b/2023/08/15/poll-error-attribute-in-OCaml/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>
@@ -253,39 +253,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/2023/08/15/tick-thread\345\234\250Multicore-OCaml\344\270\255\347\232\204\344\275\234\347\224\250/index.html" "b/2023/08/15/tick-thread\345\234\250Multicore-OCaml\344\270\255\347\232\204\344\275\234\347\224\250/index.html"
index b05604c7..d46199d7 100644
--- "a/2023/08/15/tick-thread\345\234\250Multicore-OCaml\344\270\255\347\232\204\344\275\234\347\224\250/index.html"
+++ "b/2023/08/15/tick-thread\345\234\250Multicore-OCaml\344\270\255\347\232\204\344\275\234\347\224\250/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>
@@ -250,39 +250,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/2023/08/21/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\205\253\346\234\210\344\272\214\345\215\201\344\270\200\346\227\245/index.html" "b/2023/08/21/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\205\253\346\234\210\344\272\214\345\215\201\344\270\200\346\227\245/index.html"
index 8ae93a8b..ede29dc2 100644
--- "a/2023/08/21/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\205\253\346\234\210\344\272\214\345\215\201\344\270\200\346\227\245/index.html"
+++ "b/2023/08/21/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\205\253\346\234\210\344\272\214\345\215\201\344\270\200\346\227\245/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>
@@ -249,39 +249,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/2023/08/27/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\205\253\346\234\210\344\272\214\345\215\201\344\270\203\346\227\245/index.html" "b/2023/08/27/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\205\253\346\234\210\344\272\214\345\215\201\344\270\203\346\227\245/index.html"
index bd41e197..3ab8d9bf 100644
--- "a/2023/08/27/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\205\253\346\234\210\344\272\214\345\215\201\344\270\203\346\227\245/index.html"
+++ "b/2023/08/27/\344\272\214\351\233\266\344\272\214\344\270\211\345\271\264\345\205\253\346\234\210\344\272\214\345\215\201\344\270\203\346\227\245/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>
@@ -244,39 +244,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