Aiden Bai
2022-05-02 f1b85fb6d9612d9c9d5293e27e489576800ed219
assets/js/search.js
@@ -145,6 +145,7 @@
  };
  const redir = (id, term) => {
    // SPA navigation
    window.navigate(
      new URL(
        `${BASE_URL.slice(0, -1)}${id}#:~:text=${encodeURIComponent(term)}/`