From e5e6553f8236e56f20adaf6911a3008474f69ffd Mon Sep 17 00:00:00 2001 From: Yudong Jin Date: Wed, 14 Dec 2022 04:24:06 +0800 Subject: [PATCH] Update font-family for better rendering quality on Win10. --- docs/stylesheets/extra.css | 5 +++++ mkdocs.yml | 9 ++++++--- 2 files changed, 11 insertions(+), 3 deletions(-) diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css index bb2bde399..37eea45d7 100644 --- a/docs/stylesheets/extra.css +++ b/docs/stylesheets/extra.css @@ -57,3 +57,8 @@ display: block; margin: 0 auto; } + +/* font-family setting for Win10 */ +body { + --md-code-font-family: var(--md-code-font, _), SFMono-Regular, Consolas, Menlo, Noto Sans SC, monospace; +} \ No newline at end of file diff --git a/mkdocs.yml b/mkdocs.yml index d5916749f..35fa041a1 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -17,7 +17,9 @@ theme: custom_dir: docs/overrides language: zh features: - - announce.dismiss + # - announce.dismiss + - content.action.edit + # - content.action.view - content.code.annotate - content.code.copy - content.tabs.link @@ -51,13 +53,14 @@ theme: icon: material/weather-night name: Switch to light mode font: - text: Roboto - code: Roboto Mono + text: Noto Sans SC + code: Fira Code favicon: assets/images/favicon.png logo: assets/images/logo.png icon: logo: logo repo: fontawesome/brands/github + edit: material/file-edit-outline extra: social: