2 commits

Author	SHA1	Message	Date
Gabriele Musco	746a750cf1	refined searchbar; added options to use a global searchbar or a search link in the menu	2021-04-13 16:04:16 +02:00
Gabriele Musco	f51db60b35	added optional js powered search	2021-04-13 15:21:40 +02:00