deploy: f7f8e09064541ee94ee3ef0873098be0a599508b

6 files changed, 234 insertions, 12 deletions

diff --git a/2023/08/01/二〇二三年八月一日/index.html b/2023/08/01/二〇二三年八月一日/index.html
index 6ccac1b9..6cc8d0aa 100644
--- a/2023/08/01/二〇二三年八月一日/index.html
+++ b/2023/08/01/二〇二三年八月一日/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>
@@ -219,6 +225,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/[email protected]/dist/search.js"></script>
+<script src="/js/search.js"></script>
+    
     
 
   </body>
diff --git a/2023/08/15/Typed-Design-Patterns-for-the-Functional-Era/index.html b/2023/08/15/Typed-Design-Patterns-for-the-Functional-Era/index.html
index 9b363fa7..f2d67613 100644
--- a/2023/08/15/Typed-Design-Patterns-for-the-Functional-Era/index.html
+++ b/2023/08/15/Typed-Design-Patterns-for-the-Functional-Era/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>
@@ -227,6 +233,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/[email protected]/dist/search.js"></script>
+<script src="/js/search.js"></script>
+    
     
 
   </body>
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/[email protected]/dist/search.js"></script>
+<script src="/js/search.js"></script>
+    
     
 
   </body>
diff --git a/2023/08/15/tick-thread在Multicore-OCaml中的作用/index.html b/2023/08/15/tick-thread在Multicore-OCaml中的作用/index.html
index 4f673f99..3bbdbc4d 100644
--- a/2023/08/15/tick-thread在Multicore-OCaml中的作用/index.html
+++ b/2023/08/15/tick-thread在Multicore-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>
@@ -231,6 +237,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/[email protected]/dist/search.js"></script>
+<script src="/js/search.js"></script>
+    
     
 
   </body>
diff --git a/2023/08/21/二零二三年八月二十一日/index.html b/2023/08/21/二零二三年八月二十一日/index.html
index 1971569a..64e38d06 100644
--- a/2023/08/21/二零二三年八月二十一日/index.html
+++ b/2023/08/21/二零二三年八月二十一日/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>
@@ -223,6 +229,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/[email protected]/dist/search.js"></script>
+<script src="/js/search.js"></script>
+    
     
 
   </body>
diff --git a/2023/08/27/二零二三年八月二十七日/index.html b/2023/08/27/二零二三年八月二十七日/index.html
index 929ea2c2..2111073d 100644
--- a/2023/08/27/二零二三年八月二十七日/index.html
+++ b/2023/08/27/二零二三年八月二十七日/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>
@@ -216,6 +222,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/[email protected]/dist/search.js"></script>
+<script src="/js/search.js"></script>
+    
     
 
   </body>