Silvio Giebl 82b3f15443 Added search.button configuration ... Improved documentation for search configurations		2019-12-29 21:30:44 +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	Added search.button configuration	2019-12-29 21:30:44 +01:00
zzzz-search-data.json	Added search.button configuration	2019-12-29 21:30:44 +01:00