Silvio Giebl 73047a078f Scroll page instead of nested div, removed nested divs		2019-11-27 22:07:22 +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	Scroll page instead of nested div, removed nested divs	2019-11-27 22:07:22 +01:00
search-data.json	Merge branch 'v0.2.7-release' into patch-1	2019-09-09 15:32:08 -04:00