Jacky Zhao
2022-05-29 84c6e1efed856b2e03100e4cfd88f2d9cd44cb9c
assets/js/search.js
@@ -153,7 +153,7 @@
  const redir = (id, term) => {
    // SPA navigation
    window.navigate(
    window.Million.navigate(
      new URL(
        `${BASE_URL.replace(/\/$/g, "")}${id}#:~:text=${encodeURIComponent(term)}/`
      ),