Merge pull request #136 from aidenybai/custom-progress-bar-color

Jacky Zhao

2022-05-28 cbc2bea413ddf58c6316e49c45b5a5a55f4271e2

 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)}/`
      ),