Mercurial > p > roundup > code
annotate doc/default.css @ 7354:692242b3effd
initial pass to change references to reference doc where needed.
There are some references that don't seem to exist anymore. They were
left pointing to their original values.
These are in the 0.6 upgrade directions and whatsnew-0.7. They
reference macros that don't exist or config.py that is no longer
valid.
| author | John Rouillard <rouilj@ieee.org> |
|---|---|
| date | Tue, 16 May 2023 01:19:16 -0400 |
| parents | 33a1f03b9de0 |
| children |
| 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 |
|
4557
33a1f03b9de0
Remove $-cookies that have been misleading since roundup moved off CVS.
Eric S. Raymond <esr@thyrsus.com>
parents:
2409
diff
changeset
|
4 :date: 2004-06-09 00:25:32 |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
5 :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
|
6 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
7 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
|
8 */ |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
9 |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
10 a.target { |
|
2225
a3d63babf9c4
*** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents:
2141
diff
changeset
|
11 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
|
12 |
| 1098 | 13 a.toc-backref { |
| 14 text-decoration: none ; | |
| 15 color: black } | |
| 16 | |
| 17 dd { | |
| 18 margin-bottom: 0.5em } | |
| 747 | 19 |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
20 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
|
21 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
|
22 |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
23 div.abstract p.topic-title { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
24 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
|
25 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
|
26 |
| 2409 | 27 div.attention, div.caution, div.danger, div.error, |
| 28 div.important, div.tip, div.warning { | |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
29 margin: 2em ; |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
30 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
|
31 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
|
32 |
| 2409 | 33 div.hint, div.note { |
| 34 font-size: 80%; | |
| 35 float: right; | |
| 36 width: 15em; | |
| 37 margin: 0.5em; | |
| 38 margin-left: 1em ; | |
| 39 border: solid #aaa; | |
| 40 background: #eee; | |
| 41 padding: 1em; | |
| 42 } | |
| 43 | |
| 747 | 44 div.attention p.admonition-title, div.caution p.admonition-title, |
| 45 div.danger p.admonition-title, div.error p.admonition-title, | |
| 46 div.warning p.admonition-title { | |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
47 color: red ; |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
48 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
|
49 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
|
50 |
| 747 | 51 div.hint p.admonition-title, div.important p.admonition-title, |
| 52 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
|
53 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
|
54 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
|
55 |
| 1098 | 56 div.dedication { |
| 57 margin: 2em 5em ; | |
| 58 text-align: center ; | |
| 59 font-style: italic } | |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
60 |
| 1098 | 61 div.dedication p.topic-title { |
| 62 font-weight: bold ; | |
| 63 font-style: normal } | |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
64 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
65 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
|
66 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
|
67 |
| 1098 | 68 div.footer, div.header { |
| 69 font-size: smaller } | |
| 70 | |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
71 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
|
72 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
|
73 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
74 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
|
75 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
|
76 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
77 div.system-message { |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
78 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
|
79 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
|
80 |
| 747 | 81 div.system-message p.system-message-title { |
| 82 color: red ; | |
| 83 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
|
84 |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
85 div.topic { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
86 margin: 2em } |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
87 |
|
2225
a3d63babf9c4
*** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents:
2141
diff
changeset
|
88 h1 { |
|
a3d63babf9c4
*** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents:
2141
diff
changeset
|
89 margin-top: 2em; |
|
a3d63babf9c4
*** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents:
2141
diff
changeset
|
90 text-decoration: underline; |
|
a3d63babf9c4
*** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents:
2141
diff
changeset
|
91 } |
|
a3d63babf9c4
*** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents:
2141
diff
changeset
|
92 |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
93 h1.title { |
|
2225
a3d63babf9c4
*** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents:
2141
diff
changeset
|
94 text-align: center; |
|
a3d63babf9c4
*** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents:
2141
diff
changeset
|
95 margin-top: .5em; |
|
a3d63babf9c4
*** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents:
2141
diff
changeset
|
96 } |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
97 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
98 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
|
99 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
|
100 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
101 hr { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
102 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
|
103 |
| 1098 | 104 ol.simple, ul.simple { |
| 1228 | 105 margin-top: 0; |
| 1098 | 106 margin-bottom: 1em } |
| 107 | |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
108 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
|
109 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
|
110 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
111 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
|
112 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
|
113 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
114 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
|
115 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
|
116 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
117 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
|
118 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
|
119 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
120 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
|
121 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
|
122 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
123 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
|
124 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
|
125 |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
126 p.credits { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
127 font-style: italic ; |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
128 font-size: smaller } |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
129 |
| 1098 | 130 p.first { |
| 131 margin-top: 0 } | |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
132 |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
133 p.label { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
134 white-space: nowrap } |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
135 |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
136 p.topic-title { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
137 font-weight: bold } |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
138 |
| 1098 | 139 pre.address { |
| 140 margin-bottom: 0 ; | |
| 141 margin-top: 0 ; | |
| 142 font-family: serif ; | |
| 143 font-size: 100% } | |
|
794
8c6df3f14020
Added better explanation of the instance configuration.
Richard Jones <richard@users.sourceforge.net>
parents:
747
diff
changeset
|
144 |
| 1098 | 145 pre.line-block { |
| 146 font-family: serif ; | |
| 147 font-size: 100% } | |
|
794
8c6df3f14020
Added better explanation of the instance configuration.
Richard Jones <richard@users.sourceforge.net>
parents:
747
diff
changeset
|
148 |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
149 pre.literal-block, pre.doctest-block { |
| 747 | 150 margin-left: 2em ; |
| 151 margin-right: 2em ; | |
| 152 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
|
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 span.classifier { |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
155 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
|
156 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
|
157 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
158 span.classifier-delimiter { |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
159 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
|
160 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
|
161 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
162 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
|
163 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
|
164 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
165 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
|
166 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
|
167 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
168 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
|
169 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
|
170 |
| 1098 | 171 span.pre { |
| 172 white-space: pre } | |
| 173 | |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
174 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
|
175 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
|
176 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
177 table { |
| 1098 | 178 margin-top: 0.5em ; |
| 1125 | 179 margin-bottom: 0.5em ; |
| 180 } | |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
181 |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
182 table.citation { |
| 1125 | 183 border-top: 0; |
| 184 border-bottom: 0; | |
| 185 border-right: 0; | |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
186 border-left: solid thin gray ; |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
187 padding-left: 0.5ex } |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
188 |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
189 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
|
190 margin: 2em 4em } |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
191 |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
192 table.footnote { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
193 border-left: solid thin black ; |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
194 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
|
195 |
| 1098 | 196 td, th { |
| 197 padding-left: 0.5em ; | |
| 198 padding-right: 0.5em ; | |
| 1125 | 199 vertical-align: baseline; |
| 200 } | |
| 201 | |
| 202 table.table { | |
| 203 border-spacing: 0px; | |
| 204 border-collapse: separate; | |
| 205 } | |
| 206 table.table td { | |
| 207 text-align: left; | |
| 208 border: solid thin gray; | |
| 209 } | |
| 210 | |
| 211 table.table th { | |
| 212 text-align: left; | |
| 213 border: solid thin gray; | |
| 214 } | |
| 1098 | 215 |
| 216 td > p:first-child, th > p:first-child { | |
| 217 margin-top: 0em } | |
| 218 | |
| 219 th.docinfo-name { | |
| 220 font-weight: bold ; | |
| 221 text-align: right } | |
|
902
b0d3d3535998
Bugger it. Here's the current shape of the new security implementation.
Richard Jones <richard@users.sourceforge.net>
parents:
794
diff
changeset
|
222 |
| 1098 | 223 th.field-name { |
| 224 font-weight: bold ; | |
| 225 text-align: right } | |
| 226 | |
| 227 h1 tt, h2 tt, h3 tt, h4 tt, h5 tt, h6 tt { | |
| 228 font-size: 100% } | |
| 229 | |
| 230 tt { | |
| 231 background-color: #eeeeee } | |
| 232 | |
| 1228 | 233 tt.literal span.pre { |
| 234 background-color: #eeeeee | |
| 235 } | |
| 236 | |
| 1098 | 237 ul.auto-toc { |
| 238 list-style-type: none } |