diff options
| author | muqiuhan <[email protected]> | 2026-03-15 15:09:53 +0000 |
|---|---|---|
| committer | muqiuhan <[email protected]> | 2026-03-15 15:09:53 +0000 |
| commit | 25917ed0c1e01b6d7cc2ddac5bfca1c4238e96c2 (patch) | |
| tree | b022a85750c903f90ab288b009b61385a35971d5 /2024 | |
| parent | 353e53fce4310ed6fbafa818be74831b5dc57f24 (diff) | |
| download | blog-25917ed0c1e01b6d7cc2ddac5bfca1c4238e96c2.tar.gz | |
deploy: 6a321a6e20ead9aeea588c009b5445c76260ea92
Diffstat (limited to '2024')
42 files changed, 84 insertions, 1470 deletions
diff --git a/2024/01/08/OCaml-News-2024-1/index.html b/2024/01/08/OCaml-News-2024-1/index.html index 8c11cbdc..5e8ee81e 100644 --- a/2024/01/08/OCaml-News-2024-1/index.html +++ b/2024/01/08/OCaml-News-2024-1/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -302,39 +302,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/01/18/OCaml-News-2024-2/index.html b/2024/01/18/OCaml-News-2024-2/index.html index bb64726c..ac4f2ff4 100644 --- a/2024/01/18/OCaml-News-2024-2/index.html +++ b/2024/01/18/OCaml-News-2024-2/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -317,39 +317,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/01/22/Rescript-React-Native/index.html b/2024/01/22/Rescript-React-Native/index.html index 636e887f..a9981345 100644 --- a/2024/01/22/Rescript-React-Native/index.html +++ b/2024/01/22/Rescript-React-Native/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -266,39 +266,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/01/23/G-Machine/index.html b/2024/01/23/G-Machine/index.html index 6be4fd89..1406936f 100644 --- a/2024/01/23/G-Machine/index.html +++ b/2024/01/23/G-Machine/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -265,39 +265,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/01/23/二〇二四年一月二十三日/index.html b/2024/01/23/二〇二四年一月二十三日/index.html index ed65d77d..dcf02763 100644 --- a/2024/01/23/二〇二四年一月二十三日/index.html +++ b/2024/01/23/二〇二四年一月二十三日/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -262,39 +262,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/01/23/慢性肺源性心脏病/index.html b/2024/01/23/慢性肺源性心脏病/index.html index 14d9633d..039f2aff 100644 --- a/2024/01/23/慢性肺源性心脏病/index.html +++ b/2024/01/23/慢性肺源性心脏病/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -331,39 +331,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/01/25/急诊与灾难医学-烧伤/index.html b/2024/01/25/急诊与灾难医学-烧伤/index.html index 777804f8..c458998d 100644 --- a/2024/01/25/急诊与灾难医学-烧伤/index.html +++ b/2024/01/25/急诊与灾难医学-烧伤/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -389,39 +389,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/02/07/二〇二四年二月七日/index.html b/2024/02/07/二〇二四年二月七日/index.html index aab90bbc..948a97d4 100644 --- a/2024/02/07/二〇二四年二月七日/index.html +++ b/2024/02/07/二〇二四年二月七日/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -254,39 +254,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/02/26/OCaml-News-2024-3/index.html b/2024/02/26/OCaml-News-2024-3/index.html index c71e4069..55363bdc 100644 --- a/2024/02/26/OCaml-News-2024-3/index.html +++ b/2024/02/26/OCaml-News-2024-3/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -387,39 +387,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/03/22/二〇二四年三月二十二日/index.html b/2024/03/22/二〇二四年三月二十二日/index.html index 36893bad..993fc220 100644 --- a/2024/03/22/二〇二四年三月二十二日/index.html +++ b/2024/03/22/二〇二四年三月二十二日/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -251,39 +251,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/04/03/shadow-cljs-proxy/index.html b/2024/04/03/shadow-cljs-proxy/index.html index 08410cf0..7a618fda 100644 --- a/2024/04/03/shadow-cljs-proxy/index.html +++ b/2024/04/03/shadow-cljs-proxy/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -250,39 +250,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/04/08/二〇二四年四月八日/index.html b/2024/04/08/二〇二四年四月八日/index.html index 5c81659d..9dc168bf 100644 --- a/2024/04/08/二〇二四年四月八日/index.html +++ b/2024/04/08/二〇二四年四月八日/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -245,39 +245,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/05/07/二〇二四年五月七日/index.html b/2024/05/07/二〇二四年五月七日/index.html index 97f1703b..154deaee 100644 --- a/2024/05/07/二〇二四年五月七日/index.html +++ b/2024/05/07/二〇二四年五月七日/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -256,39 +256,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/05/13/给尸体上-ECMO-并维持心跳/index.html b/2024/05/13/给尸体上-ECMO-并维持心跳/index.html index 53baef8f..4c8438f6 100644 --- a/2024/05/13/给尸体上-ECMO-并维持心跳/index.html +++ b/2024/05/13/给尸体上-ECMO-并维持心跳/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -251,39 +251,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/05/16/二〇二四年五月十六日/index.html b/2024/05/16/二〇二四年五月十六日/index.html index f1dd9422..52a976e3 100644 --- a/2024/05/16/二〇二四年五月十六日/index.html +++ b/2024/05/16/二〇二四年五月十六日/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -252,39 +252,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/05/20/Rescript-genType-import-问题/index.html b/2024/05/20/Rescript-genType-import-问题/index.html index 3efeb767..c65d806e 100644 --- a/2024/05/20/Rescript-genType-import-问题/index.html +++ b/2024/05/20/Rescript-genType-import-问题/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -265,39 +265,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/06/06/NET-AOT-下的-F-命令行参数解析库选择/index.html b/2024/06/06/NET-AOT-下的-F-命令行参数解析库选择/index.html index e571813c..2f9807be 100644 --- a/2024/06/06/NET-AOT-下的-F-命令行参数解析库选择/index.html +++ b/2024/06/06/NET-AOT-下的-F-命令行参数解析库选择/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -256,39 +256,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/06/27/OCaml-News-2024-5/index.html b/2024/06/27/OCaml-News-2024-5/index.html index a4d8d810..5740cd55 100644 --- a/2024/06/27/OCaml-News-2024-5/index.html +++ b/2024/06/27/OCaml-News-2024-5/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -312,39 +312,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/06/27/二〇二四年六月二十七日/index.html b/2024/06/27/二〇二四年六月二十七日/index.html index 543c1cb2..20ac10ec 100644 --- a/2024/06/27/二〇二四年六月二十七日/index.html +++ b/2024/06/27/二〇二四年六月二十七日/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -254,39 +254,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/07/01/OCaml-News-2024-4/index.html b/2024/07/01/OCaml-News-2024-4/index.html index e9487cfe..e5b83ed2 100644 --- a/2024/07/01/OCaml-News-2024-4/index.html +++ b/2024/07/01/OCaml-News-2024-4/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -410,39 +410,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/07/09/神经系统重点/index.html b/2024/07/09/神经系统重点/index.html index d6f17f74..ab95a5e6 100644 --- a/2024/07/09/神经系统重点/index.html +++ b/2024/07/09/神经系统重点/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -451,39 +451,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/07/23/OCaml-News-2024-6/index.html b/2024/07/23/OCaml-News-2024-6/index.html index 97ee7637..b8b5a204 100644 --- a/2024/07/23/OCaml-News-2024-6/index.html +++ b/2024/07/23/OCaml-News-2024-6/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -377,39 +377,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/08/02/二〇二四年八月一日/index.html b/2024/08/02/二〇二四年八月一日/index.html index a0b3c10a..fe8ddce0 100644 --- a/2024/08/02/二〇二四年八月一日/index.html +++ b/2024/08/02/二〇二四年八月一日/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -243,39 +243,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/08/12/直系血亲之间不能直接输血/index.html b/2024/08/12/直系血亲之间不能直接输血/index.html index bd058fe1..ebb5ab60 100644 --- a/2024/08/12/直系血亲之间不能直接输血/index.html +++ b/2024/08/12/直系血亲之间不能直接输血/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -255,39 +255,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/09/01/二〇二四年九月一日/index.html b/2024/09/01/二〇二四年九月一日/index.html index d486227d..71a929ae 100644 --- a/2024/09/01/二〇二四年九月一日/index.html +++ b/2024/09/01/二〇二四年九月一日/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -248,39 +248,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/09/01/藿香正气水和藿香正气口服液的区别/index.html b/2024/09/01/藿香正气水和藿香正气口服液的区别/index.html index 24710e7d..825c68ac 100644 --- a/2024/09/01/藿香正气水和藿香正气口服液的区别/index.html +++ b/2024/09/01/藿香正气水和藿香正气口服液的区别/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -255,39 +255,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/09/07/给孩子们的话/index.html b/2024/09/07/给孩子们的话/index.html index d63bbf28..f82de4b4 100644 --- a/2024/09/07/给孩子们的话/index.html +++ b/2024/09/07/给孩子们的话/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -251,39 +251,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/09/08/中老年人沉迷手机的问题/index.html b/2024/09/08/中老年人沉迷手机的问题/index.html index 981c4baf..9cf17ba4 100644 --- a/2024/09/08/中老年人沉迷手机的问题/index.html +++ b/2024/09/08/中老年人沉迷手机的问题/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -253,39 +253,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> 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 01bb57e8..bf686984 100644 --- a/2024/09/12/Functional-Reactive-Programming-in-F/index.html +++ b/2024/09/12/Functional-Reactive-Programming-in-F/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -353,39 +353,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/09/12/二〇二四年九月十二日/index.html b/2024/09/12/二〇二四年九月十二日/index.html index ef065684..5e17fca1 100644 --- a/2024/09/12/二〇二四年九月十二日/index.html +++ b/2024/09/12/二〇二四年九月十二日/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -242,39 +242,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/09/15/Advanced-C-binding-using-ocaml-ctypes-and-dune/index.html b/2024/09/15/Advanced-C-binding-using-ocaml-ctypes-and-dune/index.html index 33063ef2..1bbd348e 100644 --- a/2024/09/15/Advanced-C-binding-using-ocaml-ctypes-and-dune/index.html +++ b/2024/09/15/Advanced-C-binding-using-ocaml-ctypes-and-dune/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -338,39 +338,6 @@ char sa_data[] socket address (variable-length data)</p> </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/09/15/肩周炎和肩袖损伤的区别/index.html b/2024/09/15/肩周炎和肩袖损伤的区别/index.html index bb995163..c3d9088b 100644 --- a/2024/09/15/肩周炎和肩袖损伤的区别/index.html +++ b/2024/09/15/肩周炎和肩袖损伤的区别/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -275,39 +275,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/09/27/Turborepo-简述/index.html b/2024/09/27/Turborepo-简述/index.html index 69a0bce6..5cbb33ba 100644 --- a/2024/09/27/Turborepo-简述/index.html +++ b/2024/09/27/Turborepo-简述/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -463,39 +463,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/10/06/Obsidian-Vault-的-obsidian-目录中的各文件作用/index.html b/2024/10/06/Obsidian-Vault-的-obsidian-目录中的各文件作用/index.html index 2ed9294d..54fc0030 100644 --- a/2024/10/06/Obsidian-Vault-的-obsidian-目录中的各文件作用/index.html +++ b/2024/10/06/Obsidian-Vault-的-obsidian-目录中的各文件作用/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -273,39 +273,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/10/18/10-Tips-for-Productive-FSharp-Scripting/index.html b/2024/10/18/10-Tips-for-Productive-FSharp-Scripting/index.html index 8056b411..de7d4eee 100644 --- a/2024/10/18/10-Tips-for-Productive-FSharp-Scripting/index.html +++ b/2024/10/18/10-Tips-for-Productive-FSharp-Scripting/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -394,39 +394,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/10/18/Building-custom-fibers-library-in-FSharp/index.html b/2024/10/18/Building-custom-fibers-library-in-FSharp/index.html index ddb9af2b..fb5c84dd 100644 --- a/2024/10/18/Building-custom-fibers-library-in-FSharp/index.html +++ b/2024/10/18/Building-custom-fibers-library-in-FSharp/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -427,39 +427,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/10/18/Dealing-with-complex-dependency-injection-in-FSharp/index.html b/2024/10/18/Dealing-with-complex-dependency-injection-in-FSharp/index.html index 9a6bff63..23777180 100644 --- a/2024/10/18/Dealing-with-complex-dependency-injection-in-FSharp/index.html +++ b/2024/10/18/Dealing-with-complex-dependency-injection-in-FSharp/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -338,39 +338,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/11/15/西柚对药物的影响/index.html b/2024/11/15/西柚对药物的影响/index.html index 59121933..6019ebc0 100644 --- a/2024/11/15/西柚对药物的影响/index.html +++ b/2024/11/15/西柚对药物的影响/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -255,39 +255,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/11/17/二〇二四年十一月十七日/index.html b/2024/11/17/二〇二四年十一月十七日/index.html index 0e9e00bf..c73dace9 100644 --- a/2024/11/17/二〇二四年十一月十七日/index.html +++ b/2024/11/17/二〇二四年十一月十七日/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -241,39 +241,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/11/26/如何管理用户界面中的危险操作/index.html b/2024/11/26/如何管理用户界面中的危险操作/index.html index dcdac1a7..4e5d7c85 100644 --- a/2024/11/26/如何管理用户界面中的危险操作/index.html +++ b/2024/11/26/如何管理用户界面中的危险操作/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -325,39 +325,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/12/15/OCaml-News-2024-7/index.html b/2024/12/15/OCaml-News-2024-7/index.html index e17b5bc7..60930579 100644 --- a/2024/12/15/OCaml-News-2024-7/index.html +++ b/2024/12/15/OCaml-News-2024-7/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -441,39 +441,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> diff --git a/2024/12/18/二〇二四年十二月十八日/index.html b/2024/12/18/二〇二四年十二月十八日/index.html index a39f2326..8bee654d 100644 --- a/2024/12/18/二〇二四年十二月十八日/index.html +++ b/2024/12/18/二〇二四年十二月十八日/index.html @@ -140,8 +140,8 @@ - <li class="menu-item search-btn"> - <a href="#">搜索</a> + <li class="menu-item"> + <a href="/search">搜索</a> </li> </ul> @@ -251,39 +251,6 @@ </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> - <script src="/js/mermaid-zoom.js"></script> |