From ddb38a4bae59e22548922f72d9ec5e3a88df9d7e Mon Sep 17 00:00:00 2001
From: muqiuhan <muqiuhan@users.noreply.github.com>
Date: Mon, 13 May 2024 03:51:25 +0000
Subject: deploy: f7f8e09064541ee94ee3ef0873098be0a599508b

---
 .../08/15/poll-error-attribute-in-OCaml/index.html | 41 ++++++++++++++++++++--
 1 file changed, 39 insertions(+), 2 deletions(-)

(limited to '2023/08/15/poll-error-attribute-in-OCaml/index.html')

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 d6bf4347..bd08dd04 100644
--- a/2023/08/15/poll-error-attribute-in-OCaml/index.html
+++ b/2023/08/15/poll-error-attribute-in-OCaml/index.html
@@ -15,7 +15,7 @@
     <meta name="description" content="这里是暮秋小屋，思念和灵感的寄存处">
 
 
-    <meta name="keywords" content="韩暮秋,MuqiuHan">
+    <meta name="keywords" content="韩暮秋,MuqiuHan,'Muqiu Han', 'muqiu han', muqiuhan">
 
 
 
@@ -24,6 +24,8 @@
 
 
 
+    <link rel="icon" href="/favicon.ico">
+
 
 
 <style>
@@ -70,7 +72,7 @@
       <div class="site-brand-container">
         <a href="/">
           
-            暮秋小屋
+            <img class="logo-img" src="/logo.ico" alt="logo_image">
           
         </a>
       </div>
@@ -117,6 +119,10 @@
                    
           
           
+            <li class="menu-item search-btn">
+              <a href="#">Search</a>
+            </li>
+          
         </ul>
       </nav>
     </div>
@@ -234,6 +240,37 @@
     </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>
+    
     
 
   </body>
-- 
cgit v1.2.3