Silvio Giebl cba53a6914 Make themes more customizable ...

(cherry picked from commit dffb2706a158784e2f3091f895a868e373683bc8)

2019-08-15 18:35:10 +02:00

..

vendor

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

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

just-the-docs.js

Make themes more customizable

2019-08-15 18:35:10 +02:00

search-data.json

Simplified search-data.json

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