5 Commits

Author	SHA1	Message	Date
simon	f1bc3c9f37	remove old wiki pages with redirects	2023-04-01 00:01:26 +07:00
p0358	7e9fed3d26	Add search usage summary on the search page and improve the search docs (#426) ... * add search usage summary on the search page * fix JS linter and switch multi-search-results elements from class to id * changes according to feedback * finetune colors --------- Co-authored-by: simon <simobilleter@gmail.com>	2023-03-04 10:51:38 +07:00
simon	66b72da02a	update fuzzy search docs	2022-11-03 18:08:50 +07:00
simon	e69cd1129c	add result size info	2022-07-23 13:41:07 +07:00
simon	6ec65f9fe8	add search wiki page	2022-07-21 20:00:12 +07:00