forked from ZeusWPI/drive
Add search
This commit is contained in:
parent
82823ae130
commit
5fd990f484
1 changed files with 4 additions and 1 deletions
|
@ -1,7 +1,7 @@
|
||||||
site_name: ZeusWPI
|
site_name: ZeusWPI
|
||||||
|
|
||||||
repo_url: https://git.zeus.gent/bestuur/drive
|
repo_url: https://git.zeus.gent/bestuur/drive
|
||||||
edit_uri: edit/master/
|
edit_uri: edit/master/docs
|
||||||
|
|
||||||
theme:
|
theme:
|
||||||
name: material
|
name: material
|
||||||
|
@ -18,6 +18,8 @@ theme:
|
||||||
- navigation.tabs
|
- navigation.tabs
|
||||||
- navigation.instant
|
- navigation.instant
|
||||||
- navigation.expand
|
- navigation.expand
|
||||||
|
- search.suggest
|
||||||
|
- search.highlight
|
||||||
logo: assets/images/logo.svg
|
logo: assets/images/logo.svg
|
||||||
language: nl
|
language: nl
|
||||||
|
|
||||||
|
@ -45,4 +47,5 @@ extra_css:
|
||||||
- stylesheets/extra.css
|
- stylesheets/extra.css
|
||||||
|
|
||||||
plugins:
|
plugins:
|
||||||
|
- search:
|
||||||
- git-revision-date-localized:
|
- git-revision-date-localized:
|
||||||
|
|
Loading…
Reference in a new issue