Regenate theme with font changes

This makes the text larger and more legible.
has2k1 · Sep 29, 2022 · 8dc87e2 · 8dc87e2
1 parent f667c76
commit 8dc87e2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/doc/Makefile b/doc/Makefile
@@ -13,7 +13,7 @@ BUILDDIR      = _build
 BOOTSWATCHTHEME = united
 brand-primary = \#9E2F68
 headings-font-weight = bold
-font-family-sans-serif = '"Lato", "proxima-nova", "Helvetica Neue", Arial, sans-serif'
+font-family-sans-serif = '"system-ui", "Segoe UI", "Helvetica Neue", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol"'
 
 # Put it first so that "make" without argument is like "make help".
 help:

diff --git a/doc/theme/static/bootstrap-3.4.1/css/bootstrap.min.css b/doc/theme/static/bootstrap-3.4.1/css/bootstrap.min.css