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