Mercurial > p > roundup > code
annotate doc/default.css @ 1433:8429095241d7
mysql tests will not be run if there is no chance of passing.
Notes about mysql backend added
| author | Andrey Lebedev <kedder@users.sourceforge.net> |
|---|---|
| date | Sat, 15 Feb 2003 14:26:38 +0000 |
| parents | c9f37630cf76 |
| children | 67aea3fddce7 |
| 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 |
| 1228 | 4 :date: $Date: 2002-09-26 06:41:46 $ |
| 5 :version: $Revision: 1.10 $ | |
|
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 |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
11 a.target { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
12 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
|
13 |
| 1098 | 14 a.toc-backref { |
| 15 text-decoration: none ; | |
| 16 color: black } | |
| 17 | |
| 18 dd { | |
| 19 margin-bottom: 0.5em } | |
| 747 | 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 | 34 div.attention p.admonition-title, div.caution p.admonition-title, |
| 35 div.danger p.admonition-title, div.error p.admonition-title, | |
| 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 | 41 div.hint p.admonition-title, div.important p.admonition-title, |
| 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 |
| 1098 | 46 div.dedication { |
| 47 margin: 2em 5em ; | |
| 48 text-align: center ; | |
| 49 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
|
50 |
| 1098 | 51 div.dedication p.topic-title { |
| 52 font-weight: bold ; | |
| 53 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
|
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.figure { |
|
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-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
|
57 |
| 1098 | 58 div.footer, div.header { |
| 59 font-size: smaller } | |
| 60 | |
|
653
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-messages { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
62 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
|
63 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
64 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
|
65 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
|
66 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
67 div.system-message { |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
68 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
|
69 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
|
70 |
| 747 | 71 div.system-message p.system-message-title { |
| 72 color: red ; | |
| 73 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
|
74 |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
75 div.topic { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
76 margin: 2em } |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
77 |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
78 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
|
79 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
|
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 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
|
82 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
|
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 hr { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
85 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
|
86 |
| 1098 | 87 ol.simple, ul.simple { |
| 1228 | 88 margin-top: 0; |
| 1098 | 89 margin-bottom: 1em } |
| 90 | |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
91 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
|
92 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
|
93 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
94 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
|
95 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
|
96 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
97 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
|
98 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
|
99 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
100 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
|
101 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
|
102 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
103 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
|
104 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
|
105 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
106 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
|
107 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
|
108 |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
109 p.credits { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
110 font-style: italic ; |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
111 font-size: smaller } |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
112 |
| 1098 | 113 p.first { |
| 114 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
|
115 |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
116 p.label { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
117 white-space: nowrap } |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
118 |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
119 p.topic-title { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
120 font-weight: bold } |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
121 |
| 1098 | 122 pre.address { |
| 123 margin-bottom: 0 ; | |
| 124 margin-top: 0 ; | |
| 125 font-family: serif ; | |
| 126 font-size: 100% } | |
|
794
8c6df3f14020
Added better explanation of the instance configuration.
Richard Jones <richard@users.sourceforge.net>
parents:
747
diff
changeset
|
127 |
| 1098 | 128 pre.line-block { |
| 129 font-family: serif ; | |
| 130 font-size: 100% } | |
|
794
8c6df3f14020
Added better explanation of the instance configuration.
Richard Jones <richard@users.sourceforge.net>
parents:
747
diff
changeset
|
131 |
|
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 pre.literal-block, pre.doctest-block { |
| 747 | 133 margin-left: 2em ; |
| 134 margin-right: 2em ; | |
| 135 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
|
136 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
137 span.classifier { |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
138 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
|
139 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
|
140 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
141 span.classifier-delimiter { |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
142 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
|
143 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
|
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.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
|
146 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
|
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.interpreted { |
|
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-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
|
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.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
|
152 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
|
153 |
| 1098 | 154 span.pre { |
| 155 white-space: pre } | |
| 156 | |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
157 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
|
158 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
|
159 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
160 table { |
| 1098 | 161 margin-top: 0.5em ; |
| 1125 | 162 margin-bottom: 0.5em ; |
| 163 } | |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
164 |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
165 table.citation { |
| 1125 | 166 border-top: 0; |
| 167 border-bottom: 0; | |
| 168 border-right: 0; | |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
169 border-left: solid thin gray ; |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
170 padding-left: 0.5ex } |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
171 |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
172 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
|
173 margin: 2em 4em } |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
174 |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
175 table.footnote { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
176 border-left: solid thin black ; |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
177 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
|
178 |
| 1098 | 179 td, th { |
| 180 padding-left: 0.5em ; | |
| 181 padding-right: 0.5em ; | |
| 1125 | 182 vertical-align: baseline; |
| 183 } | |
| 184 | |
| 185 table.table { | |
| 186 border-spacing: 0px; | |
| 187 border-collapse: separate; | |
| 188 } | |
| 189 table.table td { | |
| 190 text-align: left; | |
| 191 border: solid thin gray; | |
| 192 } | |
| 193 | |
| 194 table.table th { | |
| 195 text-align: left; | |
| 196 border: solid thin gray; | |
| 197 } | |
| 1098 | 198 |
| 199 td > p:first-child, th > p:first-child { | |
| 200 margin-top: 0em } | |
| 201 | |
| 202 th.docinfo-name { | |
| 203 font-weight: bold ; | |
| 204 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
|
205 |
| 1098 | 206 th.field-name { |
| 207 font-weight: bold ; | |
| 208 text-align: right } | |
| 209 | |
| 210 h1 tt, h2 tt, h3 tt, h4 tt, h5 tt, h6 tt { | |
| 211 font-size: 100% } | |
| 212 | |
| 213 tt { | |
| 214 background-color: #eeeeee } | |
| 215 | |
| 1228 | 216 tt.literal span.pre { |
| 217 background-color: #eeeeee | |
| 218 } | |
| 219 | |
| 1098 | 220 ul.auto-toc { |
| 221 list-style-type: none } |
