feat: copyable header anchors (fixes #86)

Jacky Zhao

2022-04-30 b8a660e208333ea8ef4998c2f815411f12ce7067

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