[css2] Indented PRE.

--HG--
extra : convert_revision : svn%3A73dc7c4b-06e6-40f3-b4f7-9ed1dbc14bfc/trunk%401090

Author: bert-github

css2/html2psrc

@@ -42,7 +42,7 @@
 
 BODY {
     color: black;
-    text-align: justify;
+    /* text-align: justify; */
     font-family: helvetica, sans-serif;
     background: white;
     /* margin: 2em; */
@@ -51,6 +51,12 @@ BODY {
 H1, H2, H3, H4, H5, H6 {
     text-align: left;
 }
+
+H1 {
+    clear: left;
+    margin-top: 2em;
+}
+
 P {
     margin-top: 0;
     margin-bottom: 0;
@@ -59,6 +65,8 @@ P {
 
 PRE {
     font-family: monospace;
+    margin-left: 2em;
+    font-size: 90%
 }
 
 ADDRESS {
@@ -69,13 +77,6 @@ ADDRESS {
 IMG {
     border: 0;
 }
-.note {
-    font-weight: bold;
-    margin-top: 1em;
-    margin-bottom: 1em;
-    margin-left: 1em;
-    margin-right: 1em;
-}
 .toc {
     text-indent: 0;
 }
@@ -85,6 +86,14 @@ P.toc-line {
     text-indent: 0;
 }
 
+/*
+A:link, A:visited {color: black; /*color: inherit*/}
+DIV.example A:link, DIV.example A:visited {color: maroon; /*color: inherit*/}
+DIV.deprecated-html-example A:link,
+DIV.deprecated-html-example A:visited {color: red; /*color: inherit*/}
+.note A:link, .note A:visited {color: green; /*color: inherit*/}
+*/
+
 A.propdef-title {
   background: yellow;
 }
@@ -118,8 +127,14 @@ pre.illegal-xml-example { color: red }
 div.illegal-xml-example { color: red }
 div.illegal-xml-example p { color: black }
 
-div.note { color: green; margin-left: 1em }
-p.note { color: green; margin-left: 1em }
+.note {
+    font-weight: bold;
+    margin-top: 1em;
+    margin-bottom: 1em;
+    margin-left: 1em;
+    margin-right: 1em;
+    color: green
+}
 
 .normref { 
     color: red;
@@ -158,10 +173,25 @@ S, DEL {text-decoration: line-through; color: red}
 U, INS {text-decoration: underline; background: #bfa}
 
 DIV.figure {
+    text-align: center;
+    /*border: solid thin;
+    width: 100%;*/
+    margin: 2.5em 0
+}
+P.caption {
     text-align: center;
     font-style: italic;
     font-weight: bold;
-    font-size: 90%
+    font-size: 90%;
+    color: #088;
+    margin: 1.5em 25% 0 25%;
+}
+DIV.toc, UL.index, DT {
+    text-align: left
+}
+SUP {
+    vertical-align: super;
+    font-size: 80%
 }
 
 /* the following doesn't work for now,