Aiden Bai
2022-05-02 5c602ab16f1f5e46bee5f44cec15860f785039ee
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)}/`