3 commits

Author	SHA1	Message	Date
Jan Böhmer	e00988047c	Added highlighting to search results	2024-02-29 22:20:30 +01:00
Jan Böhmer	25a8642749	Make algolia autocomplete headers blue in bootstrap theme	2024-02-28 21:41:45 +01:00
Jan Böhmer	41e45599d4	Use a modified theme for algolia/autocomplete, which plays better with bootstrap	2024-02-28 21:38:11 +01:00