fix: latex rendering bugs + patch for #195

Jacky Zhao

2022-09-12 e6c7a4e1e2e3b0437b5dbbbeb7abc4e05622db16

 assets/js/util.js

@@ -55,14 +55,13 @@

const highlight = (content, term) => {
  const highlightWindow = 20

  // try to find direct match first
  const directMatchIdx = content.indexOf(term)
  if (directMatchIdx !== -1) {
    const h = highlightWindow / 2
    const h = highlightWindow
    const before = content.substring(0, directMatchIdx).split(" ").slice(-h)
    const after = content
      .substring(directMatchIdx + term.length, content.length - 1)
      .substring(directMatchIdx + term.length, content.length - 2)
      .split(" ")
      .slice(0, h)
    return (
@@ -108,13 +107,10 @@
}

// Common utilities for search
const resultToHTML = ({ url, title, content, term }) => {
  const text = removeMarkdown(content)
  const resultTitle = highlight(title, term)
  const resultText = highlight(text, term)
const resultToHTML = ({ url, title, content }) => {
  return `<button class="result-card" id="${url}">
      <h3>${resultTitle}</h3>
      <p>${resultText}</p>
      <h3>${title}</h3>
      <p>${content}</p>
  </button>`
}

@@ -183,7 +179,7 @@
  })
}

const displayResults = (finalResults) => {
const displayResults = (finalResults, extractHighlight = false) => {
  const results = document.getElementById("results-container")
  if (finalResults.length === 0) {
    results.innerHTML = `<button class="result-card">
@@ -192,11 +188,17 @@
                </button>`
  } else {
    results.innerHTML = finalResults
      .map((result) =>
        resultToHTML({
          ...result,
          term,
        }),
      .map((result) => {
          if (extractHighlight) {
            return resultToHTML({
              url: result.url,
              title: highlight(result.title, term),
              content: highlight(removeMarkdown(result.content), term)
            })
          } else {
            return resultToHTML(result)
          }
        }
      )
      .join("\n")
    const anchors = [...document.getElementsByClassName("result-card")]