Decode the heading id from split link (#214)

Pavol Komlos

2022-10-12 666ffebe90c04dc7fe064a98232538826af70738

 assets/js/full-text-search.js

@@ -1,5 +1,5 @@
; (async function() {
  const encoder = (str) => str.toLowerCase().split(/([^a-z]|[^\x00-\x7F])+/)
  const encoder = (str) => str.toLowerCase().split(/([^a-z]|[^\x00-\x7F])/)
  const contentIndex = new FlexSearch.Document({
    cache: true,
    charset: "latin:extra",