From 5fd990f484101465a04cce79b16b6b8e75fa9662 Mon Sep 17 00:00:00 2001 From: mcbloch Date: Mon, 11 Oct 2021 15:27:11 +0200 Subject: [PATCH] Add search --- mkdocs.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/mkdocs.yml b/mkdocs.yml index a843175..3b5d013 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -1,7 +1,7 @@ site_name: ZeusWPI repo_url: https://git.zeus.gent/bestuur/drive -edit_uri: edit/master/ +edit_uri: edit/master/docs theme: name: material @@ -18,6 +18,8 @@ theme: - navigation.tabs - navigation.instant - navigation.expand + - search.suggest + - search.highlight logo: assets/images/logo.svg language: nl @@ -45,4 +47,5 @@ extra_css: - stylesheets/extra.css plugins: + - search: - git-revision-date-localized: