55 */
66
77@media print {
8-
9- /* the following doesn't work for now,
10- instead we rely on a patched version of html2ps which has this built-in */
11- .dlink { display : none }
12-
13- /* the following doesn't work for now,
14- instead we rely on a patched version of html2ps which has this built-in */
15- div .navbar {
16- display : none;
17- }
18-
198 html { margin : 0 !important }
209 body { font-family : serif }
2110 th , td { font-family : inherit }
2918 margin : 1.5cm 1.1cm ;
3019}
3120
32- /* html body { margin-left: 8.5em } /* Overrides 70px in base.css */
33-
3421body {counter-reset : exampleno figure issue; max-width : 50em ; margin : 0 auto !important ; color : # 444 ; }
3522
3623/* Pagination */
@@ -59,8 +46,6 @@ dd > p:first-child, li > p:first-child, .note > p:first-child {
5946}
6047
6148pre {
62- text-align : left; /* fixes justification in Mac IE 5 */
63- text-indent : 0 ; /* fixes indent in Mac Netscape 6 */
6449 margin-top : 1em ;
6550 margin-bottom : 1em ;
6651 font-size : 90% /*smaller*/ ;
@@ -74,30 +59,26 @@ img {
7459 text-indent : 0 ;
7560}
7661
62+ body {
63+ line-height : 1.5 ;
64+ }
7765
78- @media all { /* NS < 6 doesn't like borders around inline elements... */
79-
80- body {
81- line-height : 1.5 ;
82- }
83-
84- a : link , a : visited {
85- color : inherit;
86- text-decoration : underline;
87- }
66+ a : link , a : visited {
67+ color : inherit;
68+ text-decoration : underline;
69+ }
8870
89- a .logo : link , a .logo : visited {
90- padding : 0 ;
91- border-style : none;
92- }
71+ a .logo : link , a .logo : visited {
72+ padding : 0 ;
73+ border-style : none;
74+ }
9375
94- /* Hmm, this seems to confuse many browsers... */
95- dl dd { margin : 0 0 1em 2em }
96- .head dd { margin-bottom : 0 ; }
97- ul , ol { margin-left : 0 ; padding-left : 2em ; }
98- li { margin : 0.25em 2em 0.5em 0 ; padding-left : 0 }
76+ /* Hmm, this seems to confuse many browsers... */
77+ dl dd { margin : 0 0 1em 2em }
78+ .head dd { margin-bottom : 0 ; }
79+ ul , ol { margin-left : 0 ; padding-left : 2em ; }
80+ li { margin : 0.25em 2em 0.5em 0 ; padding-left : 0 }
9981
100- }
10182ul .indexlist { margin-left : 0 ; /*column-width: 13em; columns: 13em*/ }
10283ul .indexlist li { margin-left : 0 ; list-style : none }
10384ul .indexlist li li { margin-left : 1em }
@@ -150,7 +131,6 @@ pre.illegal-xml { color: red }
150131div .illegal-xml { color : red }
151132div .illegal-xml p { color : black }
152133
153- /* code { font-size: 90% } */
154134.css , .property { color : # 005a9c } /* inline CSS code (SPAN/CODE) */
155135code .css { font-family : inherit; font-size : 100% }
156136code .html { color : # 600 } /* inline HTML */
@@ -159,7 +139,7 @@ code.xml { color: #600 } /* inline XML */
159139.descriptor { } /* name of a CSS descriptor (SPAN) */
160140.type { font-style : italic } /* A <type> value for a property */
161141
162- dfn { font-weight : bolder; /*font-size: 1em*/ }
142+ dfn { font-weight : bolder; }
163143
164144p .issue , div .issue , p .note , div .note , div .example {
165145 padding : .5em ;
@@ -217,24 +197,19 @@ ul.toc li li li, ul.toc li li li ul {margin-left: 0; display: inline}
217197ul.toc li li li ul, ul.toc li li li ul li {margin-left: 0; display: inline}
218198*/
219199
220- @media all { /* NS4 doesn't align the floats properly :-( */
221-
222- /* Section numbers in a column of their own */
223- ul .toc span .secno {margin-right : 1em } /* workaround for Opera6 */
224- ul .toc span .secno {float : left; width : 4em ; margin-left : -5em }
225- ul .toc ul ul span .secno { margin-left : -7em ; }
226- /*ul.toc span.secno {text-align: right}*/
227- ul .toc li {clear : both}
228- ul .toc {margin-left : 5em }
229- /* If we had 'tab', floats would not be needed here:
230- ul.toc span.secno {tab: 5em right; margin-right: 1em}
231- ul.toc li {text-indent: 5em hanging}
232- The second line in case items wrap
233- */
234- }
200+ /* Section numbers in a column of their own */
201+ ul .toc span .secno {float : left; width : 4em ; margin-left : -5em }
202+ ul .toc ul ul span .secno { margin-left : -7em ; }
203+ /*ul.toc span.secno {text-align: right}*/
204+ ul .toc li {clear : both}
205+ ul .toc {margin-left : 5em }
206+ /* If we had 'tab', floats would not be needed here:
207+ ul.toc span.secno {tab: 5em right; margin-right: 1em}
208+ ul.toc li {text-indent: 5em hanging}
209+ The second line in case items wrap
210+ */
235211
236212ul .index {
237- list-style : disc; /* Mac NS has problem with 'none' */
238213 list-style : none;
239214}
240215
@@ -334,11 +309,6 @@ table.propdef, table.propdef-extra, table.descdef {
334309 border-left : 0.5em solid # 8CCBF2 ;
335310}
336311
337- /* Since Jan 2008, some CSS modules use <th> instead of <td> in the
338- first column of a table.propdef. These rules handle both. As of Jan
339- 2008, http://www.w3.org/Style/spec-mark-up still only documents <td>
340- */
341-
342312table .propdef td , table .propdef-extra td , table .descdef td ,
343313table .propdef th , table .propdef-extra th , table .descdef th {
344314 padding : 0.5em ;
@@ -409,16 +379,6 @@ table.propdef td.footnote:before {
409379 border-top : thin solid;
410380}
411381
412- /* table.propdef tr:first-child td { padding-top: 0.1em; padding-bottom: 0.1em } */
413-
414- /* This would replace :first-child for Opera, but it confuses WinIE :-( */
415- /*
416- table.propdef td { width: 8em }
417- table.propdef td + td { width: auto }
418- table.propdef tr { background: #005A9C; color: white }
419- table.propdef tr + tr { background: transparent; color: black }
420- */
421-
422382table .proptable td .property {
423383 display : block;
424384 text-align : left;
0 commit comments