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 => ({