Griatch 99c0b949f7 Move to custom search plugin by borrowing from Mkdocs and existing plugins		2020-05-23 14:59:12 +02:00
..
searchbox.css	Move to custom search plugin by borrowing from Mkdocs and existing plugins	2020-05-23 14:59:12 +02:00