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/10/18 | |
| parent | 353e53fce4310ed6fbafa818be74831b5dc57f24 (diff) | |
| download | blog-25917ed0c1e01b6d7cc2ddac5bfca1c4238e96c2.tar.gz | |
deploy: 6a321a6e20ead9aeea588c009b5445c76260ea92
Diffstat (limited to '2024/10/18')
3 files changed, 6 insertions, 105 deletions
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> |