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

This commit is contained in:
Clement Tsang 2024-01-11 03:46:28 -05:00 committed by GitHub
parent 16a94d65d2
commit 4246194634
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 12 additions and 7 deletions

3
docs/.gitignore vendored
View file

@ -1,2 +1,3 @@
site/ site/
venv/ venv/
.cache/

View file

@ -14,17 +14,20 @@ copyright: Copyright © 2019 - 2024 Clement Tsang
# Theming # Theming
theme: theme:
name: material name: material
font:
code: IBM Plex Mono
features: features:
- content.action.edit - content.action.edit
- navigation.expand
- navigation.footer
- navigation.instant
- navigation.instant.progress
- navigation.sections
- navigation.tabs - navigation.tabs
- navigation.top - navigation.top
- navigation.expand
- navigation.instant
- navigation.sections
- navigation.footer
- toc.integrate
- search.suggest
- search.highlight - search.highlight
- search.suggest
- toc.integrate
icon: icon:
edit: material/pencil edit: material/pencil
palette: palette:
@ -127,6 +130,7 @@ plugins:
canonical_version: stable canonical_version: stable
- git-revision-date-localized: - git-revision-date-localized:
type: date type: date
- privacy
extra: extra:
# Versioning # Versioning