From 4246194634c433b9f063474bc8eead225e98851e Mon Sep 17 00:00:00 2001
From: Clement Tsang <34804052+ClementTsang@users.noreply.github.com>
Date: Thu, 11 Jan 2024 03:46:28 -0500
Subject: [PATCH] docs: change code font and enable privacy (#1381)

---
 docs/.gitignore |  3 ++-
 docs/mkdocs.yml | 14 +++++++++-----
 2 files changed, 11 insertions(+), 6 deletions(-)

diff --git a/docs/.gitignore b/docs/.gitignore
index 9b72d312a..0837bd4b4 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 e8a493407..b8cc263cd 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