fix: padding for empty title callouts (#308)

Mattia Ippoliti

2023-04-01 ba7a968881083b9d3b3b6ecd65df076e76bcb164

 assets/js/util.js

@@ -117,7 +117,7 @@
const redir = (id, term) => {
  const shouldTrim = PRODUCTION && SEARCH_ENABLED
  const baseURLPrefix = shouldTrim ? "" : BASE_URL.replace(/\/$/g, "")
  const urlString = `${baseURLPrefix}${id}#:~:text=${encodeURIComponent(term)}/`
  const urlString = `${baseURLPrefix}${id}#:~:text=${encodeURIComponent(term)}`
  window.Million.navigate(
    new URL(urlString),
    ".singlePage",