Update font-family for better

rendering quality on Win10.
2025-12-19 07:17:54 +08:00 · 2022-12-14 04:24:06 +08:00
parent c5c38720e6
commit e5e6553f82
2 changed files with 11 additions and 3 deletions
--- 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;
+}