Jacky Zhao
2022-12-04 ce5df837f5f6ed57f9e9f85439ee9a40ebf234dc
assets/js/util.js
@@ -203,6 +203,16 @@
      }
      )
      .join("\n")
    if (LATEX_ENABLED) {
      renderMathInElement(results, {
        delimiters: [
          { left: '$$', right: '$$', display: false },
          { left: '$', right: '$', display: false },
        ],
        throwOnError: false
      })
    }
    const anchors = [...document.getElementsByClassName("result-card")]
    anchors.forEach((anchor) => {
      anchor.onclick = () => redir(anchor.id, term)