Silvio Giebl cc0b57727d Added search button and menu icon ...

(cherry picked from commit 468264941d08b00252a4f6f081bc2dff5920bffe)

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

..

vendor

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

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

just-the-docs.js

Added search button and menu icon

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

search-data.json

Simplified search-data.json

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