6 commits

Author	SHA1	Message	Date
Sosthene	7000f787b3	Search json index (#1998) ... * search: Add support for a JSON index * docs: Document JSON index for search * docs: Use lazy-loaded JSON index * Add elasticlunr prefix to search engine format configuration This will be useful if support for more search libraries are added in the future	2023-02-16 20:49:03 +01:00
Vincent Prouillet	570e2fc278	Set current_term earlier in search JS ... Closes #1856	2022-06-10 21:14:18 +02:00
Mohsen Alizadeh	635159114d	hide search-results on blur (#1488)	2021-06-03 21:38:47 +02:00
Vincent Prouillet	6100a430c4	Design tweaks on docs	2018-03-21 15:25:25 +01:00
Vincent Prouillet	b0363298f5	Search is working now	2018-03-20 21:27:33 +01:00
Vincent Prouillet	ddf8970ad8	[WIP] Search	2018-03-20 18:43:30 +01:00