summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorClement Tsang <34804052+ClementTsang@users.noreply.github.com>2024-01-11 03:46:28 -0500
committerGitHub <noreply@github.com>2024-01-11 03:46:28 -0500
commit4246194634c433b9f063474bc8eead225e98851e (patch)
treecf4f26150270d8201905086371f37b1847861124
parent16a94d65d29c150c8ecfd40b64b9282eaea51714 (diff)
docs: change code font and enable privacy (#1381)
-rw-r--r--docs/.gitignore3
-rw-r--r--docs/mkdocs.yml14
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 &copy; 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