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