Silvio Giebl 887a18daa0 Improved search button and results, added blur to content ...

(cherry picked from commit 99371e971406090a2dba7b9b69f514a8f87afce3)

2019-08-16 00:38:32 +02:00

..

vendor

Updated lunr.js, added search navigation and preview/highlighting

2019-05-19 02:55:43 +02:00

just-the-docs.js

Improved search button and results, added blur to content

2019-08-16 00:38:32 +02:00

search-data.json

Simplified search-data.json

2019-05-19 20:08:31 +02:00