diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/.gitignore | 3 | ||||
| -rw-r--r-- | docs/mkdocs.yml | 14 |
2 files changed, 11 insertions, 6 deletions
diff --git a/docs/.gitignore b/docs/.gitignore index 9b72d312..0837bd4b 100644 --- a/docs/.gitignore +++ b/docs/.gitignore @@ -1,2 +1,3 @@ site/ -venv/
\ No newline at end of file +venv/ +.cache/ diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml index e8a49340..b8cc263c 100644 --- a/docs/mkdocs.yml +++ b/docs/mkdocs.yml @@ -14,17 +14,20 @@ copyright: Copyright © 2019 - 2024 Clement Tsang # Theming theme: name: material + font: + code: IBM Plex Mono features: - content.action.edit - - navigation.tabs - - navigation.top - navigation.expand + - navigation.footer - navigation.instant + - navigation.instant.progress - navigation.sections - - navigation.footer - - toc.integrate - - search.suggest + - navigation.tabs + - navigation.top - search.highlight + - search.suggest + - toc.integrate icon: edit: material/pencil palette: @@ -127,6 +130,7 @@ plugins: canonical_version: stable - git-revision-date-localized: type: date + - privacy extra: # Versioning |