docs: nicer fixed font

hynek · Oct 21, 2023 · 676e17a · 676e17a
1 parent d9a6479
commit 676e17a
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 3 deletions.
diff --git a/docs/_static/custom.css b/docs/_static/custom.css
@@ -0,0 +1,9 @@
+@font-face {
+    font-family: "BerkeleyMono";
+    src: local("Berkeley Mono"),
+            url("https://assets.hynek.me/bm/BerkeleyMono-Regular.woff2") format("woff2"),
+            url("https://assets.hynek.me/bm/BerkeleyMono-Italic.woff2") format("woff2"),
+            url("https://assets.hynek.me/bm/BerkeleyMono-BoldItalic.woff2") format("woff2"),
+            url("https://assets.hynek.me/bm/BerkeleyMono-Bold.woff2") format("woff2");
+    font-display: swap;
+}
diff --git a/docs/conf.py b/docs/conf.py
@@ -70,9 +70,17 @@
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
 html_theme = "furo"
-# None of the options work, so we disable the button completely.
-html_theme_options = {"top_of_page_button": None}
-html_static_path = []
+html_theme_options = {
+    "light_css_variables": {
+        "font-stack--monospace": "BerkeleyMono, MonoLisa, ui-monospace, "
+        "SFMono-Regular, Menlo, Consolas, Liberation Mono, monospace",
+    },
+    # None of the options work, so we disable the button completely.
+    "top_of_page_button": None,
+}
+
+html_static_path = ["_static"]
+html_css_files = ["custom.css"]
 
 htmlhelp_basename = "staminadoc"