Merge pull request p12tic#139 from myfreeer/patch-1

p12tic · web-flow · commit 5acdb106b305 · 2024-11-06T22:09:43.000+02:00
preprocess-css: update font-family names to match the website
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;
 }
 
@@ -31,21 +31,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;
 }

Original file line number	Diff line number	Diff line change
`@@ -14,7 +14,7 @@ div#content {`
`14`	`14`	`}`
`15`	`15`
`16`	`16`	`html, body {`
`17`		`- font-family: "DejaVu Sans", arial, sans-serif;`
	`17`	`+ font-family: DejaVuSans, "DejaVu Sans", arial, sans-serif;`
`18`	`18`	`font-size: 1em;`
`19`	`19`	`}`
`20`	`20`
`@@ -31,21 +31,21 @@ pre,`
`31`	`31`	`}`
`32`	`32`
`33`	`33`	`.t-dcl-list-see-monospace > span {`
`34`		`- font-family: "DejaVu Sans Mono", courier, monospace;`
	`34`	`+ font-family: DejaVuSansMono, "DejaVu Sans Mono", courier, monospace;`
`35`	`35`	`}`
`36`	`36`
`37`	`37`	`.t-sb-list-ln-table tr > td:first-child {`
`38`		`- font-family: "DejaVu Sans Mono", courier, monospace;`
	`38`	`+ font-family: DejaVuSansMono, "DejaVu Sans Mono", courier, monospace;`
`39`	`39`	`}`
`40`	`40`
`41`	`41`	`.t-param-list-item > td:first-child {`
`42`		`- font-family: "DejaVu Sans Mono", courier, monospace;`
	`42`	`+ font-family: DejaVuSansMono, "DejaVu Sans Mono", courier, monospace;`
`43`	`43`	`}`
`44`	`44`
`45`	`45`	`.t-dcl-member-div > div:first-child {`
`46`		`- font-family: "DejaVu Sans Mono", courier, monospace;`
	`46`	`+ font-family: DejaVuSansMono, "DejaVu Sans Mono", courier, monospace;`
`47`	`47`	`}`
`48`	`48`
`49`	`49`	`.t-dcl-member-nobold-div > div:first-child {`
`50`		`- font-family: "DejaVu Sans", arial, sans-serif;`
	`50`	`+ font-family: DejaVuSans, "DejaVu Sans", arial, sans-serif;`
`51`	`51`	`}`