From 9eb13df1a8ebac9774bfa9820b65c9d3b2c8fc47 Mon Sep 17 00:00:00 2001
From: muqiuhan <muqiuhan@users.noreply.github.com>
Date: Sun, 15 Mar 2026 13:51:35 +0000
Subject: deploy: 8c1b736d362a88786b72d75d45b6e512a4fc97da

---
 .../index.html"                                             | 13 +++++++++----
 2023/08/15/poll-error-attribute-in-OCaml/index.html         | 13 +++++++++----
 .../index.html"                                             | 13 +++++++++----
 .../index.html"                                             | 13 +++++++++----
 .../index.html"                                             | 13 +++++++++----
 5 files changed, 45 insertions(+), 20 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 0ae32b3e..5c7d28b1 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"
@@ -30,13 +30,17 @@
                                             <link rel="icon" href="/favicon.ico">
                                             
 
-                                                
-                                                    
-                                                        <!-- stylesheets list from _config.yml -->
                                                         
-                                                            <link rel="stylesheet" href="/css/style.css">
                                                             
+                                                                <!-- stylesheets list from _config.yml -->
                                                                 
+                                                                    <link rel="stylesheet" href="/css/style.css">
+                                                                    
+                                                                        
+
+                                                                            
+                                                                                <link rel="preload" href="/fonts/latin-base.woff2" as="font" type="font/woff2" crossorigin>
+                                                                                <link rel="preload" href="/fonts/cjk-common.woff2" as="font" type="font/woff2" crossorigin>
 
                                                                     
                                                                         
@@ -275,6 +279,7 @@
 <script src="/js/search.js"></script>
     
     
+    <script src="/js/mermaid-zoom.js"></script>
 
   </body>
 </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 73b88ab7..df5807c6 100644
--- a/2023/08/15/poll-error-attribute-in-OCaml/index.html
+++ b/2023/08/15/poll-error-attribute-in-OCaml/index.html
@@ -30,13 +30,17 @@
                                             <link rel="icon" href="/favicon.ico">
                                             
 
-                                                
-                                                    
-                                                        <!-- stylesheets list from _config.yml -->
                                                         
-                                                            <link rel="stylesheet" href="/css/style.css">
                                                             
+                                                                <!-- stylesheets list from _config.yml -->
                                                                 
+                                                                    <link rel="stylesheet" href="/css/style.css">
+                                                                    
+                                                                        
+
+                                                                            
+                                                                                <link rel="preload" href="/fonts/latin-base.woff2" as="font" type="font/woff2" crossorigin>
+                                                                                <link rel="preload" href="/fonts/cjk-common.woff2" as="font" type="font/woff2" crossorigin>
 
                                                                     
                                                                         
@@ -283,6 +287,7 @@
 <script src="/js/search.js"></script>
     
     
+    <script src="/js/mermaid-zoom.js"></script>
 
   </body>
 </html>
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 44531387..b05604c7 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"
@@ -30,13 +30,17 @@
                                             <link rel="icon" href="/favicon.ico">
                                             
 
-                                                
-                                                    
-                                                        <!-- stylesheets list from _config.yml -->
                                                         
-                                                            <link rel="stylesheet" href="/css/style.css">
                                                             
+                                                                <!-- stylesheets list from _config.yml -->
                                                                 
+                                                                    <link rel="stylesheet" href="/css/style.css">
+                                                                    
+                                                                        
+
+                                                                            
+                                                                                <link rel="preload" href="/fonts/latin-base.woff2" as="font" type="font/woff2" crossorigin>
+                                                                                <link rel="preload" href="/fonts/cjk-common.woff2" as="font" type="font/woff2" crossorigin>
 
                                                                     
                                                                         
@@ -280,6 +284,7 @@
 <script src="/js/search.js"></script>
     
     
+    <script src="/js/mermaid-zoom.js"></script>
 
   </body>
 </html>
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 3ad49987..8ae93a8b 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"
@@ -30,13 +30,17 @@
                                             <link rel="icon" href="/favicon.ico">
                                             
 
-                                                
-                                                    
-                                                        <!-- stylesheets list from _config.yml -->
                                                         
-                                                            <link rel="stylesheet" href="/css/style.css">
                                                             
+                                                                <!-- stylesheets list from _config.yml -->
                                                                 
+                                                                    <link rel="stylesheet" href="/css/style.css">
+                                                                    
+                                                                        
+
+                                                                            
+                                                                                <link rel="preload" href="/fonts/latin-base.woff2" as="font" type="font/woff2" crossorigin>
+                                                                                <link rel="preload" href="/fonts/cjk-common.woff2" as="font" type="font/woff2" crossorigin>
 
                                                                     
                                                                         
@@ -279,6 +283,7 @@
 <script src="/js/search.js"></script>
     
     
+    <script src="/js/mermaid-zoom.js"></script>
 
   </body>
 </html>
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 59a36d12..bd41e197 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"
@@ -30,13 +30,17 @@
                                             <link rel="icon" href="/favicon.ico">
                                             
 
-                                                
-                                                    
-                                                        <!-- stylesheets list from _config.yml -->
                                                         
-                                                            <link rel="stylesheet" href="/css/style.css">
                                                             
+                                                                <!-- stylesheets list from _config.yml -->
                                                                 
+                                                                    <link rel="stylesheet" href="/css/style.css">
+                                                                    
+                                                                        
+
+                                                                            
+                                                                                <link rel="preload" href="/fonts/latin-base.woff2" as="font" type="font/woff2" crossorigin>
+                                                                                <link rel="preload" href="/fonts/cjk-common.woff2" as="font" type="font/woff2" crossorigin>
 
                                                                     
                                                                         
@@ -274,6 +278,7 @@
 <script src="/js/search.js"></script>
     
     
+    <script src="/js/mermaid-zoom.js"></script>
 
   </body>
 </html>
-- 
cgit v1.2.3