diff options
author | Clement Tsang <34804052+ClementTsang@users.noreply.github.com> | 2024-01-11 03:46:28 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-01-11 03:46:28 -0500 |
commit | 4246194634c433b9f063474bc8eead225e98851e (patch) | |
tree | cf4f26150270d8201905086371f37b1847861124 | |
parent | 16a94d65d29c150c8ecfd40b64b9282eaea51714 (diff) |
docs: change code font and enable privacy (#1381)
-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 |