diff options
Diffstat (limited to '2024/09/12')
| -rw-r--r-- | 2024/09/12/Functional-Reactive-Programming-in-F/index.html | 13 | ||||
| -rw-r--r-- | 2024/09/12/二〇二四年九月十二日/index.html | 13 |
2 files changed, 18 insertions, 8 deletions
diff --git a/2024/09/12/Functional-Reactive-Programming-in-F/index.html b/2024/09/12/Functional-Reactive-Programming-in-F/index.html index 2370e7f6..01bb57e8 100644 --- a/2024/09/12/Functional-Reactive-Programming-in-F/index.html +++ b/2024/09/12/Functional-Reactive-Programming-in-F/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> @@ -383,6 +387,7 @@ <script src="/js/search.js"></script> + <script src="/js/mermaid-zoom.js"></script> </body> </html> diff --git a/2024/09/12/二〇二四年九月十二日/index.html b/2024/09/12/二〇二四年九月十二日/index.html index 4fdd7f5e..ef065684 100644 --- a/2024/09/12/二〇二四年九月十二日/index.html +++ b/2024/09/12/二〇二四年九月十二日/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> @@ -272,6 +276,7 @@ <script src="/js/search.js"></script> + <script src="/js/mermaid-zoom.js"></script> </body> </html> |