Jacky Zhao
2022-04-28 87b5a7a2519c70b6f6e678c6b86a3aefc4dd3218
assets/js/search.js
@@ -131,7 +131,7 @@
  }
  const redir = (id, term) => {
    window.location.href = BASE_URL + `${id}#:~:text=${encodeURIComponent(term)}`
    window.location.href = `${BASE_URL}${id}#:~:text=${encodeURIComponent(term)}/`
  }
  const formatForDisplay = id => ({