5 Commits (78d6699c683bde65d3ab97f86d88fc9c75420419)

Author	SHA1	Message	Date
simon	f1bc3c9f37	remove old wiki pages with redirects	1 year ago
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>	1 year ago
simon	66b72da02a	update fuzzy search docs	2 years ago
simon	e69cd1129c	add result size info	2 years ago
simon	6ec65f9fe8	add search wiki page	2 years ago