[css2] Smaller indent for PRE

bert-github · bert-github · commit acf2fd673261 · 1998-03-23T02:45:09.000Z
--HG--
extra : convert_revision : svn%3A73dc7c4b-06e6-40f3-b4f7-9ed1dbc14bfc/trunk%401348
diff --git a/css2/html2psrc b/css2/html2psrc
@@ -67,7 +67,7 @@ P {
 
 PRE {
     font-family: monospace;
-    margin-left: 2em;
+    margin-left: 1em;
     /* font-size: 90% */
 }
 
@@ -105,7 +105,7 @@ A.descdef-title {
   background: green
 }
 
-TABLE { text-align:center; margin-left: 1em}
+TABLE {margin: 0.5em}
 
 div.example { color: maroon }
 pre.example { color: maroon }

Original file line number	Diff line number	Diff line change
`@@ -67,7 +67,7 @@ P {`
`67`	`67`
`68`	`68`	`PRE {`
`69`	`69`	`font-family: monospace;`
`70`		`- margin-left: 2em;`
	`70`	`+ margin-left: 1em;`
`71`	`71`	`/* font-size: 90% */`
`72`	`72`	`}`
`73`	`73`
`@@ -105,7 +105,7 @@ A.descdef-title {`
`105`	`105`	`background: green`
`106`	`106`	`}`
`107`	`107`
`108`		`-TABLE { text-align:center; margin-left: 1em}`
	`108`	`+TABLE {margin: 0.5em}`
`109`	`109`
`110`	`110`	`div.example { color: maroon }`
`111`	`111`	`pre.example { color: maroon }`