Mercurial > p > roundup > code

annotate doc/default.css @ 907:38a74d1351c5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
documentation updates
author Richard Jones <richard@users.sourceforge.net>
date Mon, 29 Jul 2002 00:54:41 +0000
parents b0d3d3535998
children c5819344714c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
1 /*
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
2 :Author: David Goodger
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
3 :Contact: goodger@users.sourceforge.net
907
38a74d1351c5 documentation updates
Richard Jones <richard@users.sourceforge.net>
parents: 902
diff changeset
4 :date: $Date: 2002-07-29 00:54:28 $
38a74d1351c5 documentation updates
Richard Jones <richard@users.sourceforge.net>
parents: 902
diff changeset
5 :version: $Revision: 1.7 $
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
6 :copyright: This stylesheet has been placed in the public domain.
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
7
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
8 Default cascading style sheet for the HTML output of Docutils.
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
9 */
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
10
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
11 a.footnote-reference {
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
12 font-size: smaller ;
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
13 vertical-align: super }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
14
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
15 a.target {
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
16 color: blue }
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
17
747
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
18 code {
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
19 background-color: #eeeeee }
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
20
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
21 div.abstract {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
22 margin: 2em 5em }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
23
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
24 div.abstract p.topic-title {
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
25 font-weight: bold ;
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
26 text-align: center }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
27
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
28 div.attention, div.caution, div.danger, div.error, div.hint,
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
29 div.important, div.note, div.tip, div.warning {
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
30 margin: 2em ;
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
31 border: medium outset ;
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
32 padding: 1em }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
33
747
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
34 div.attention p.admonition-title, div.caution p.admonition-title,
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
35 div.danger p.admonition-title, div.error p.admonition-title,
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
36 div.warning p.admonition-title {
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
37 color: red ;
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
38 font-weight: bold ;
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
39 font-family: sans-serif }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
40
747
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
41 div.hint p.admonition-title, div.important p.admonition-title,
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
42 div.note p.admonition-title, div.tip p.admonition-title {
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
43 font-weight: bold ;
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
44 font-family: sans-serif }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
45
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
46 div.field-body {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
47 margin-bottom: 1em }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
48
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
49 div.field-list {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
50 margin-bottom: -1em }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
51
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
52 div.figure {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
53 margin-left: 2em }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
54
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
55 div.system-messages {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
56 margin: 5em }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
57
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
58 div.system-messages h1 {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
59 color: red }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
60
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
61 div.system-message {
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
62 border: medium outset ;
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
63 padding: 1em }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
64
747
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
65 div.system-message p.system-message-title {
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
66 color: red ;
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
67 font-weight: bold }
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
68
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
69 div.topic {
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
70 margin: 2em }
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
71
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
72 h1.title {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
73 text-align: center }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
74
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
75 h2.subtitle {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
76 text-align: center }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
77
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
78 hr {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
79 width: 75% }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
80
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
81 ol.arabic {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
82 list-style: decimal }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
83
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
84 ol.loweralpha {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
85 list-style: lower-alpha }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
86
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
87 ol.upperalpha {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
88 list-style: upper-alpha }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
89
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
90 ol.lowerroman {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
91 list-style: lower-roman }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
92
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
93 ol.upperroman {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
94 list-style: upper-roman }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
95
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
96 p.caption {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
97 font-style: italic }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
98
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
99 p.credits {
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
100 font-style: italic ;
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
101 font-size: smaller }
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
102
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
103 p.docinfo-name {
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
104 font-weight: bold ;
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
105 text-align: right }
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
106
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
107 p.field-name {
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
108 font-weight: bold ;
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
109 margin-bottom: 1em }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
110
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
111 p.label {
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
112 white-space: nowrap }
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
113
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
114 p.topic-title {
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
115 font-weight: bold }
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
116
794
8c6df3f14020 Added better explanation of the instance configuration.
Richard Jones <richard@users.sourceforge.net>
parents: 747
diff changeset
117 dd p:first-child {
8c6df3f14020 Added better explanation of the instance configuration.
Richard Jones <richard@users.sourceforge.net>
parents: 747
diff changeset
118 margin-top: 0px;
8c6df3f14020 Added better explanation of the instance configuration.
Richard Jones <richard@users.sourceforge.net>
parents: 747
diff changeset
119 }
8c6df3f14020 Added better explanation of the instance configuration.
Richard Jones <richard@users.sourceforge.net>
parents: 747
diff changeset
120
907
38a74d1351c5 documentation updates
Richard Jones <richard@users.sourceforge.net>
parents: 902
diff changeset
121 dd ul:first-child {
38a74d1351c5 documentation updates
Richard Jones <richard@users.sourceforge.net>
parents: 902
diff changeset
122 margin-top: 0px;
38a74d1351c5 documentation updates
Richard Jones <richard@users.sourceforge.net>
parents: 902
diff changeset
123 }
38a74d1351c5 documentation updates
Richard Jones <richard@users.sourceforge.net>
parents: 902
diff changeset
124
794
8c6df3f14020 Added better explanation of the instance configuration.
Richard Jones <richard@users.sourceforge.net>
parents: 747
diff changeset
125 li p:first-child {
8c6df3f14020 Added better explanation of the instance configuration.
Richard Jones <richard@users.sourceforge.net>
parents: 747
diff changeset
126 margin-top: 0px;
8c6df3f14020 Added better explanation of the instance configuration.
Richard Jones <richard@users.sourceforge.net>
parents: 747
diff changeset
127 }
8c6df3f14020 Added better explanation of the instance configuration.
Richard Jones <richard@users.sourceforge.net>
parents: 747
diff changeset
128
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
129 pre.literal-block, pre.doctest-block {
747
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
130 margin-left: 2em ;
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
131 margin-right: 2em ;
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
132 background-color: #eeeeee }
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
133
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
134 span.classifier {
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
135 font-family: sans-serif ;
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
136 font-style: oblique }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
137
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
138 span.classifier-delimiter {
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
139 font-family: sans-serif ;
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
140 font-weight: bold }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
141
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
142 span.field-argument {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
143 font-style: italic }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
144
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
145 span.interpreted {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
146 font-family: sans-serif }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
147
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
148 span.option-argument {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
149 font-style: italic }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
150
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
151 span.problematic {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
152 color: red }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
153
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
154 table {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
155 margin-top: 1em }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
156
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
157 table.citation {
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
158 border-left: solid thin gray ;
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
159 padding-left: 0.5ex }
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
160
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
161 table.docinfo {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
162 margin: 2em 4em }
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
163
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
164 table.footnote {
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
165 border-left: solid thin black ;
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
166 padding-left: 0.5ex }
902
b0d3d3535998 Bugger it. Here's the current shape of the new security implementation.
Richard Jones <richard@users.sourceforge.net>
parents: 794
diff changeset
167
b0d3d3535998 Bugger it. Here's the current shape of the new security implementation.
Richard Jones <richard@users.sourceforge.net>
parents: 794
diff changeset
168 @media print {
b0d3d3535998 Bugger it. Here's the current shape of the new security implementation.
Richard Jones <richard@users.sourceforge.net>
parents: 794
diff changeset
169 h1 {page-break-before: always; }
b0d3d3535998 Bugger it. Here's the current shape of the new security implementation.
Richard Jones <richard@users.sourceforge.net>
parents: 794
diff changeset
170 h1, h2, h3, h4, h5, h6 { page-break-after: avoid; page-break-inside: avoid; }
b0d3d3535998 Bugger it. Here's the current shape of the new security implementation.
Richard Jones <richard@users.sourceforge.net>
parents: 794
diff changeset
171 blockquote, pre { page-break-inside: avoid; }
b0d3d3535998 Bugger it. Here's the current shape of the new security implementation.
Richard Jones <richard@users.sourceforge.net>
parents: 794
diff changeset
172 ul, ol, dl { page-break-before: avoid; }
b0d3d3535998 Bugger it. Here's the current shape of the new security implementation.
Richard Jones <richard@users.sourceforge.net>
parents: 794
diff changeset
173 }
b0d3d3535998 Bugger it. Here's the current shape of the new security implementation.
Richard Jones <richard@users.sourceforge.net>
parents: 794
diff changeset
174
Roundup Issue Tracker: http://roundup-tracker.org/