From a275123be2b1d528dbde23beb9880933c4e22c3e Mon Sep 17 00:00:00 2001
From: DhammaCharts <100090806+DhammaCharts@users.noreply.github.com>
Date: Thu, 02 Jun 2022 07:35:28 +0000
Subject: [PATCH] better font behaviour
---
assets/js/search.js | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/assets/js/search.js b/assets/js/search.js
index bb94cd3..ee00647 100644
--- a/assets/js/search.js
+++ b/assets/js/search.js
@@ -153,7 +153,7 @@
const redir = (id, term) => {
// SPA navigation
- window.navigate(
+ window.Million.navigate(
new URL(
`${BASE_URL.replace(/\/$/g, "")}${id}#:~:text=${encodeURIComponent(term)}/`
),
--
Gitblit v1.10.0