HTML style template: put Consolas before Lucida Console for code font.

jgm · jgm · commit 8a1030078537 · 2023-01-13T08:47:19.000-08:00
This is to prevent Lucida Console from being used on Windows, where there seems to be a spacing issue in some applications, with boldface glyphs wider than regular ones. Closes #8543.
diff --git a/data/templates/styles.html b/data/templates/styles.html
@@ -99,7 +99,7 @@
 }
 $endif$
 code {
-  font-family: $if(monofont)$$monofont$$else$Menlo, Monaco, 'Lucida Console', Consolas, monospace$endif$;
+  font-family: $if(monofont)$$monofont$$else$Menlo, Monaco, Consolas, 'Lucida Console', monospace$endif$;
 $if(monobackgroundcolor)$
   background-color: $monobackgroundcolor$;
   padding: .2em .4em;
diff --git a/test/lhs-test.html b/test/lhs-test.html
@@ -84,7 +84,7 @@
       color: #606060;
     }
     code {
-      font-family: Menlo, Monaco, 'Lucida Console', Consolas, monospace;
+      font-family: Menlo, Monaco, Consolas, 'Lucida Console', monospace;
       font-size: 85%;
       margin: 0;
       hyphens: manual;
diff --git a/test/lhs-test.html+lhs b/test/lhs-test.html+lhs
@@ -84,7 +84,7 @@
       color: #606060;
     }
     code {
-      font-family: Menlo, Monaco, 'Lucida Console', Consolas, monospace;
+      font-family: Menlo, Monaco, Consolas, 'Lucida Console', monospace;
       font-size: 85%;
       margin: 0;
       hyphens: manual;
diff --git a/test/writer.html4 b/test/writer.html4
@@ -87,7 +87,7 @@
       color: #606060;
     }
     code {
-      font-family: Menlo, Monaco, 'Lucida Console', Consolas, monospace;
+      font-family: Menlo, Monaco, Consolas, 'Lucida Console', monospace;
       font-size: 85%;
       margin: 0;
       hyphens: manual;
diff --git a/test/writer.html5 b/test/writer.html5
@@ -87,7 +87,7 @@
       color: #606060;
     }
     code {
-      font-family: Menlo, Monaco, 'Lucida Console', Consolas, monospace;
+      font-family: Menlo, Monaco, Consolas, 'Lucida Console', monospace;
       font-size: 85%;
       margin: 0;
       hyphens: manual;

Original file line number	Diff line number	Diff line change
`@@ -99,7 +99,7 @@`
`99`	`99`	`}`
`100`	`100`	$endif$
`101`	`101`	`code {`
`102`		`- font-family: $if(monofont)$$monofont$$else$Menlo, Monaco, 'Lucida Console', Consolas, monospace$endif$;`
	`102`	`+ font-family: $if(monofont)$$monofont$$else$Menlo, Monaco, Consolas, 'Lucida Console', monospace$endif$;`
`103`	`103`	$if(monobackgroundcolor)$
`104`	`104`	`background-color: $monobackgroundcolor$;`
`105`	`105`	`padding: .2em .4em;`
Original file line number	Diff line number	Diff line change
`@@ -84,7 +84,7 @@`
`84`	`84`	`color: #606060;`
`85`	`85`	`}`
`86`	`86`	`code {`
`87`		`- font-family: Menlo, Monaco, 'Lucida Console', Consolas, monospace;`
	`87`	`+ font-family: Menlo, Monaco, Consolas, 'Lucida Console', monospace;`
`88`	`88`	`font-size: 85%;`
`89`	`89`	`margin: 0;`
`90`	`90`	`hyphens: manual;`
Original file line number	Diff line number	Diff line change
`@@ -87,7 +87,7 @@`
`87`	`87`	`color: #606060;`
`88`	`88`	`}`
`89`	`89`	`code {`
`90`		`- font-family: Menlo, Monaco, 'Lucida Console', Consolas, monospace;`
	`90`	`+ font-family: Menlo, Monaco, Consolas, 'Lucida Console', monospace;`
`91`	`91`	`font-size: 85%;`
`92`	`92`	`margin: 0;`
`93`	`93`	`hyphens: manual;`