diff options
Diffstat (limited to '2023/06')
| -rw-r--r-- | 2023/06/10/二零二三年六月十日/index.html | 13 | ||||
| -rw-r--r-- | 2023/06/17/发热及超高热危象/index.html | 13 | ||||
| -rw-r--r-- | 2023/06/22/灯笼草/index.html | 13 | ||||
| -rw-r--r-- | 2023/06/28/caml-release-runtime-system导致的死锁问题/index.html | 13 | ||||
| -rw-r--r-- | 2023/06/28/隐藏一些OCaml-Effect的机制，让其语法在精神上更接近delimcc/index.html | 13 | ||||
| -rw-r--r-- | 2023/06/29/二〇二三年六月二十九日/index.html | 13 |
6 files changed, 54 insertions, 24 deletions
diff --git a/2023/06/10/二零二三年六月十日/index.html b/2023/06/10/二零二三年六月十日/index.html index a2626598..04d0ec04 100644 --- a/2023/06/10/二零二三年六月十日/index.html +++ b/2023/06/10/二零二三年六月十日/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> diff --git a/2023/06/17/发热及超高热危象/index.html b/2023/06/17/发热及超高热危象/index.html index 522b993a..48ffd260 100644 --- a/2023/06/17/发热及超高热危象/index.html +++ b/2023/06/17/发热及超高热危象/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> @@ -443,6 +447,7 @@ <script src="/js/search.js"></script> + <script src="/js/mermaid-zoom.js"></script> </body> </html> diff --git a/2023/06/22/灯笼草/index.html b/2023/06/22/灯笼草/index.html index fce1e0ec..fd4d50d7 100644 --- a/2023/06/22/灯笼草/index.html +++ b/2023/06/22/灯笼草/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> @@ -338,6 +342,7 @@ <script src="/js/search.js"></script> + <script src="/js/mermaid-zoom.js"></script> </body> </html> diff --git a/2023/06/28/caml-release-runtime-system导致的死锁问题/index.html b/2023/06/28/caml-release-runtime-system导致的死锁问题/index.html index f73d62d6..82183b32 100644 --- a/2023/06/28/caml-release-runtime-system导致的死锁问题/index.html +++ b/2023/06/28/caml-release-runtime-system导致的死锁问题/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> @@ -291,6 +295,7 @@ <script src="/js/search.js"></script> + <script src="/js/mermaid-zoom.js"></script> </body> </html> diff --git a/2023/06/28/隐藏一些OCaml-Effect的机制，让其语法在精神上更接近delimcc/index.html b/2023/06/28/隐藏一些OCaml-Effect的机制，让其语法在精神上更接近delimcc/index.html index 916a1784..2e7c599b 100644 --- a/2023/06/28/隐藏一些OCaml-Effect的机制，让其语法在精神上更接近delimcc/index.html +++ b/2023/06/28/隐藏一些OCaml-Effect的机制，让其语法在精神上更接近delimcc/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> @@ -282,6 +286,7 @@ <script src="/js/search.js"></script> + <script src="/js/mermaid-zoom.js"></script> </body> </html> diff --git a/2023/06/29/二〇二三年六月二十九日/index.html b/2023/06/29/二〇二三年六月二十九日/index.html index fdc94153..0a5acd60 100644 --- a/2023/06/29/二〇二三年六月二十九日/index.html +++ b/2023/06/29/二〇二三年六月二十九日/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> @@ -273,6 +277,7 @@ <script src="/js/search.js"></script> + <script src="/js/mermaid-zoom.js"></script> </body> </html> |