Merge remote-tracking branch 'upstream/master'

* upstream/master: preprocess-css: update font-family names to match the website
PeterFeicht · Nov 10, 2024 · 5b4cd08 · 5b4cd08
2 parents 37cead4 + 5acdb10
commit 5b4cd08
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/preprocess-css.css b/preprocess-css.css
@@ -14,7 +14,7 @@ div#content {
 }
 
 html, body {
-    font-family: "DejaVu Sans", arial, sans-serif;
+    font-family: DejaVuSans, "DejaVu Sans", arial, sans-serif;
     font-size: 1em;
 }
 
@@ -32,21 +32,21 @@ pre,
 }
 
 .t-dcl-list-see-monospace > span {
-    font-family: "DejaVu Sans Mono", courier, monospace;
+    font-family: DejaVuSansMono, "DejaVu Sans Mono", courier, monospace;
 }
 
 .t-sb-list-ln-table tr > td:first-child {
-    font-family: "DejaVu Sans Mono", courier, monospace;
+    font-family: DejaVuSansMono, "DejaVu Sans Mono", courier, monospace;
 }
 
 .t-param-list-item > td:first-child {
-    font-family: "DejaVu Sans Mono", courier, monospace;
+    font-family: DejaVuSansMono, "DejaVu Sans Mono", courier, monospace;
 }
 
 .t-dcl-member-div > div:first-child {
-    font-family: "DejaVu Sans Mono", courier, monospace;
+    font-family: DejaVuSansMono, "DejaVu Sans Mono", courier, monospace;
 }
 
 .t-dcl-member-nobold-div > div:first-child {
-    font-family: "DejaVu Sans", arial, sans-serif;
+    font-family: DejaVuSans, "DejaVu Sans", arial, sans-serif;
 }