Add code { hyphens: manual; } to HTML and EPUB CSS.

jgm · jgm · commit a682e72c03e2 · 2023-01-06T10:50:48.000-08:00
Closes #8530.
diff --git a/data/epub.css b/data/epub.css
@@ -99,6 +99,7 @@ code {
   font-family: Menlo, Monaco, 'Lucida Console', Consolas, monospace;
   font-size: 85%;
   margin: 0;
+  hyphens: manual;
 }
 pre {
   margin: 1em 0;
diff --git a/data/templates/styles.html b/data/templates/styles.html
@@ -106,6 +106,7 @@
 $endif$
   font-size: 85%;
   margin: 0;
+  hyphens: manual;
 }
 pre {
   margin: 1em 0;
diff --git a/test/lhs-test.html b/test/lhs-test.html
@@ -87,6 +87,7 @@
       font-family: Menlo, Monaco, 'Lucida Console', Consolas, monospace;
       font-size: 85%;
       margin: 0;
+      hyphens: manual;
     }
     pre {
       margin: 1em 0;
diff --git a/test/lhs-test.html+lhs b/test/lhs-test.html+lhs
@@ -87,6 +87,7 @@
       font-family: Menlo, Monaco, 'Lucida Console', Consolas, monospace;
       font-size: 85%;
       margin: 0;
+      hyphens: manual;
     }
     pre {
       margin: 1em 0;
diff --git a/test/writer.html4 b/test/writer.html4
@@ -90,6 +90,7 @@
       font-family: Menlo, Monaco, 'Lucida Console', Consolas, monospace;
       font-size: 85%;
       margin: 0;
+      hyphens: manual;
     }
     pre {
       margin: 1em 0;
diff --git a/test/writer.html5 b/test/writer.html5
@@ -90,6 +90,7 @@
       font-family: Menlo, Monaco, 'Lucida Console', Consolas, monospace;
       font-size: 85%;
       margin: 0;
+      hyphens: manual;
     }
     pre {
       margin: 1em 0;

Original file line number	Diff line number	Diff line change
`@@ -99,6 +99,7 @@ code {`
`99`	`99`	`font-family: Menlo, Monaco, 'Lucida Console', Consolas, monospace;`
`100`	`100`	`font-size: 85%;`
`101`	`101`	`margin: 0;`
	`102`	`+ hyphens: manual;`
`102`	`103`	`}`
`103`	`104`	`pre {`
`104`	`105`	`margin: 1em 0;`
Original file line number	Diff line number	Diff line change
`@@ -87,6 +87,7 @@`
`87`	`87`	`font-family: Menlo, Monaco, 'Lucida Console', Consolas, monospace;`
`88`	`88`	`font-size: 85%;`
`89`	`89`	`margin: 0;`
	`90`	`+ hyphens: manual;`
`90`	`91`	`}`
`91`	`92`	`pre {`
`92`	`93`	`margin: 1em 0;`
Original file line number	Diff line number	Diff line change
`@@ -90,6 +90,7 @@`
`90`	`90`	`font-family: Menlo, Monaco, 'Lucida Console', Consolas, monospace;`
`91`	`91`	`font-size: 85%;`
`92`	`92`	`margin: 0;`
	`93`	`+ hyphens: manual;`
`93`	`94`	`}`
`94`	`95`	`pre {`
`95`	`96`	`margin: 1em 0;`