4 Commits

Author	SHA1	Message	Date
Sebastiaan van Stijn	0bb9a7ff8f	js/search.js: rewrite local search autocomplete and update styling ... Signed-off-by: Sebastiaan van Stijn <github@gone.nl>	2020-10-15 17:20:28 +02:00
Sebastiaan van Stijn	5c8580c3f0	search: load metadata asynchronous as JSON ... Signed-off-by: Sebastiaan van Stijn <github@gone.nl>	2020-10-14 22:08:54 +02:00
Sebastiaan van Stijn	3f13c2d20b	glossary: remove glossary search scripts ... This was added in 1a6874fcb4, but later got disabled, and now no longer is in use. We can restore these scripts or re-implement if we ever decide to bring back similar functionality. Signed-off-by: Sebastiaan van Stijn <github@gone.nl>	2020-10-08 09:58:24 +02:00
Jérémie Drouet	c06813538c	implement autocomplete on landing page ... Signed-off-by: Jérémie Drouet <jeremie.drouet@gmail.com>	2020-05-28 10:31:16 +02:00