From 466e18b33b60d1aece1ed945f2e2c53009ea1ab2 Mon Sep 17 00:00:00 2001 From: Jiajie Chen Date: Thu, 21 Dec 2023 15:44:45 +0800 Subject: [PATCH] Switch to MiniSearch --- code/viewer_partial.html | 31 ++++++++++++++++++------------- 1 file changed, 18 insertions(+), 13 deletions(-) diff --git a/code/viewer_partial.html b/code/viewer_partial.html index b22596a5..96c2fda3 100644 --- a/code/viewer_partial.html +++ b/code/viewer_partial.html @@ -29,7 +29,7 @@ Filter by content:

- +

@@ -52,19 +52,24 @@