docs: change code font and enable privacy (#1381)

ClementTsang · Jan 11, 2024 · 4246194 · 4246194
1 parent 16a94d6
commit 4246194
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 6 deletions.
diff --git a/docs/.gitignore b/docs/.gitignore
@@ -1,2 +1,3 @@
 site/
-venv/
+venv/
+.cache/
diff --git 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
-Original file line number
+Diff line change
@@ -1,2 +1,3 @@
     site/
-    venv/
+    venv/
+    .cache/