assets/js/util.js
@@ -117,7 +117,7 @@ const redir = (id, term) => { const shouldTrim = PRODUCTION && SEARCH_ENABLED const baseURLPrefix = shouldTrim ? "" : BASE_URL.replace(/\/$/g, "") const urlString = `${baseURLPrefix}${id}#:~:text=${encodeURIComponent(term)}/` const urlString = `${baseURLPrefix}${id}#:~:text=${encodeURIComponent(term)}` window.Million.navigate( new URL(urlString), ".singlePage",