4848 font-family: helvetica, sans-serif;
4949 background: white;
5050 /* margin: 2em; */
51- /* For the REC: background: #def url(recbg.jpg); */
51+ background: #def url(recbg.jpg); /* For the REC */
5252}
5353H1, H2, H3, H4, H5, H6 {
5454 text-align: left;
@@ -57,6 +57,7 @@ H1, H2, H3, H4, H5, H6 {
5757H1 {
5858 clear: left;
5959 margin-top: 2em;
60+ text-align: center;
6061}
6162
6263P {
@@ -76,6 +77,9 @@ ADDRESS {
7677 font-style: italic;
7778}
7879
80+ VAR {
81+ font-style: normal;
82+ }
7983IMG {
8084 border: 0;
8185}
@@ -88,13 +92,15 @@ P.toc-line {
8892 text-indent: 0;
8993}
9094
91- /*
92- A:link, A:visited {color: black; /*color: inherit*/}
95+ @media screen {
96+ /* I don't like all that blue text, how about this: */
97+ /* It should be 'inherit', but Netscape inserts a random color :-( */
98+ A.noxref:link, A.noxref:visited {color: black; /*color: inherit*/}
9399DIV.example A:link, DIV.example A:visited {color: maroon; /*color: inherit*/}
94100DIV.deprecated-html-example A:link,
95101DIV.deprecated-html-example A:visited {color: red; /*color: inherit*/}
96102.note A:link, .note A:visited {color: green; /*color: inherit*/}
97- */
103+ }
98104
99105A.propdef-title {
100106 background: yellow;
@@ -105,7 +111,8 @@ A.descdef-title {
105111 background: green
106112}
107113
108- TABLE {margin: 0.5em}
114+ /* TABLE {margin-left: 1em} */
115+ DIV.propdef {margin: 1.2em 0}
109116
110117div.example { color: maroon }
111118pre.example { color: maroon }
@@ -129,6 +136,12 @@ pre.illegal-xml-example { color: red }
129136div.illegal-xml-example { color: red }
130137div.illegal-xml-example p { color: black }
131138
139+ div.dtd-example { color: maroon }
140+ pre.dtd-example { color: maroon }
141+ pre.illegal-dtd-example { color: red }
142+ div.illegal-dtd-example { color: red }
143+ div.illegal-dtd-example p { color: black }
144+
132145.note {
133146 font-weight: bold;
134147 margin-top: 1em;
@@ -146,29 +159,26 @@ div.illegal-xml-example p { color: black }
146159 color: green;
147160}
148161
149- /* html2ps doesn't like complex selectors
150162DIV.propdef TH {
151163 text-align: right;
152164}
153165
154166DIV.descdef TH {
155167 text-align: right;
156168}
157- */
158169
159170UL.toc, OL.toc {list-style: none}
160- /* html2ps doesn't like complex selectors
161171DIV.toc UL UL, DIV.toc OL OL {margin-left: 0}
162172DIV.toc UL UL UL, DIV.toc OL OL OL {margin-left: 1em}
163173DIV.toc UL UL UL UL, DIV.toc OL OL OL OL {margin-left: 0}
164- */
165174LI.tocline1 {font-weight: bold}
166175LI.tocline2 {font-weight: normal}
167176LI.tocline4 {font-style: italic}
168177/* DIV.subtoc UL, DIV.subtoc OL {list-style: none} */
169- DIV.subtoc {padding: 1em; border: solid thin; margin: 1em 0;
178+ /* The border in the following rule crashes NN4 on fonts.html :-(
179+ DIV.subtoc {padding: 1em; border: solid black thin; margin: 1em 0;
170180 background: #ddd}
171-
181+ */
172182UL.index {list-style: none}
173183
174184S, DEL {text-decoration: line-through; color: red}
@@ -180,7 +190,7 @@ DIV.figure {
180190 width: 100%;*/
181191 margin: 2.5em 0
182192}
183- P.caption {
193+ P.caption, CAPTION {
184194 text-align: center;
185195 font-style: italic;
186196 font-weight: bold;
@@ -196,6 +206,8 @@ SUP {
196206 font-size: 80%
197207}
198208
209+ /* the following doesn't work for now,
210+ instead we rely on a patched version of html2ps which has this built-in */
199211.dlink { display: none }
200212
201213/* the following doesn't work for now,
0 commit comments