Silvio Giebl 7f5b1f14f1 Search for sections (configurable via search.heading_level) ...

Added more search configurations
Display "no results found"

2019-12-29 19:19:00 +01:00

..

vendor

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

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

dark-mode-preview.js

Update dark-mode-preview.js

2019-09-10 11:20:26 -04:00

just-the-docs.js

Search for sections (configurable via search.heading_level)

2019-12-29 19:19:00 +01:00

zzzz-search-data.json

Search for sections (configurable via search.heading_level)

2019-12-29 19:19:00 +01:00