Silvio Giebl 0ebbe4bb4e Improved navigation: folding, vsual feedback, optimization for mobile ... (cherry picked from commit db50f282bab1e98397cc7434a811b8b7da2fe6dc)		2019-08-15 23:38:58 +02:00
..
vendor	Updated lunr.js, added search navigation and preview/highlighting	2019-05-19 02:55:43 +02:00
just-the-docs.js	Improved navigation: folding, vsual feedback, optimization for mobile	2019-08-15 23:38:58 +02:00
search-data.json	Simplified search-data.json	2019-05-19 20:08:31 +02:00