Preformatted elements fallback to UA monospace

toastal · toastal · commit eabb3230f366 · 2023-06-02T23:56:39.000+07:00
Courier looks mighty ugly on a lot of systems. When in doubt, it’s
better to just trust the user agent. This also allow users to set their
own preferred option—which is better than a bad option.
diff --git a/src/html_support_files/odoc.css b/src/html_support_files/odoc.css
@@ -474,7 +474,7 @@ h4 {
 /* Preformatted and code */
 
 tt, code, pre {
-  font-family: "Fira Mono", courier;
+  font-family: "Fira Mono", monospace;
   font-weight: 400;
 }
 

Original file line number	Diff line number	Diff line change
`@@ -474,7 +474,7 @@ h4 {`
`474`	`474`	`/* Preformatted and code */`
`475`	`475`
`476`	`476`	`tt, code, pre {`
`477`		`- font-family: "Fira Mono", courier;`
	`477`	`+ font-family: "Fira Mono", monospace;`
`478`	`478`	`font-weight: 400;`
`479`	`479`	`}`
`480`	`480`