diff options
Diffstat (limited to '2023/09')
| -rw-r--r-- | 2023/09/13/二零二三年九月十三日/index.html | 37 | ||||
| -rw-r--r-- | 2023/09/28/A-Brief-History-of-Just-In-Time/index.html | 37 |
2 files changed, 4 insertions, 70 deletions
diff --git a/2023/09/13/二零二三年九月十三日/index.html b/2023/09/13/二零二三年九月十三日/index.html index 6cbb3d71..65105f09 100644 --- a/2023/09/13/二零二三年九月十三日/index.html +++ b/2023/09/13/二零二三年九月十三日/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/2023/09/28/A-Brief-History-of-Just-In-Time/index.html b/2023/09/28/A-Brief-History-of-Just-In-Time/index.html index c7544720..51e5a199 100644 --- a/2023/09/28/A-Brief-History-of-Just-In-Time/index.html +++ b/2023/09/28/A-Brief-History-of-Just-In-Time/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> @@ -277,39 +277,6 @@ such systems. This classification emerges as we survey forty years of JIT work, </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> |