Merge 8.7

jan.nijtmans · jan.nijtmans · commit 9a73c13a239e · 2023-01-01T23:37:48.000Z
diff --git a/tools/tcltk-man2html.tcl b/tools/tcltk-man2html.tcl
@@ -293,14 +293,14 @@ proc css-stylesheet {} {
 	font-size: 11px;
     }
     css-style ".keylist dt" ".arguments dt" {
-	width: 20em;
+	width: 25em;
 	float: left;
 	padding: 2px;
 	border-top: 1px solid #999999;
     }
     css-style ".keylist dt" { font-weight: bold; }
     css-style ".keylist dd" ".arguments dd" {
-	margin-left: 20em;
+	margin-left: 25em;
 	padding: 2px;
 	border-top: 1px solid #999999;
     }

Original file line number	Diff line number	Diff line change
`@@ -293,14 +293,14 @@ proc css-stylesheet {} {`
`293`	`293`	`font-size: 11px;`
`294`	`294`	`}`
`295`	`295`	`css-style ".keylist dt" ".arguments dt" {`
`296`		`- width: 20em;`
	`296`	`+ width: 25em;`
`297`	`297`	`float: left;`
`298`	`298`	`padding: 2px;`
`299`	`299`	`border-top: 1px solid #999999;`
`300`	`300`	`}`
`301`	`301`	`css-style ".keylist dt" { font-weight: bold; }`
`302`	`302`	`css-style ".keylist dd" ".arguments dd" {`
`303`		`- margin-left: 20em;`
	`303`	`+ margin-left: 25em;`
`304`	`304`	`padding: 2px;`
`305`	`305`	`border-top: 1px solid #999999;`
`306`	`306`	`}`