Mercurial > p > roundup > code
annotate doc/default.css @ 688:b38f4f95bffd
More doc tweaks
| author | Richard Jones <richard@users.sourceforge.net> |
|---|---|
| date | Thu, 11 Apr 2002 00:26:05 +0000 |
| parents | cbe9667de522 |
| children | 3c1cb2021b5e |
| 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 |
|
688
b38f4f95bffd
More doc tweaks
Richard Jones <richard@users.sourceforge.net>
parents:
687
diff
changeset
|
4 :date: $Date: 2002-04-11 00:26:05 $ |
|
b38f4f95bffd
More doc tweaks
Richard Jones <richard@users.sourceforge.net>
parents:
687
diff
changeset
|
5 :version: $Revision: 1.3 $ |
|
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 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
18 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
|
19 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
|
20 |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
21 div.abstract p.topic-title { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
22 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
|
23 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
|
24 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
25 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
|
26 div.important, div.note, div.tip, div.warning { |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
27 margin: 2em ; |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
28 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
|
29 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
|
30 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
31 div.attention h3, div.caution h3, div.danger h3, div.error h3, |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
32 div.warning h3 { |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
33 color: red ; |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
34 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
|
35 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
|
36 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
37 div.hint h3, div.important h3, div.note h3, div.tip h3 { |
|
687
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 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
41 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
|
42 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
|
43 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
44 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
|
45 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
|
46 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
47 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
|
48 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
|
49 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
50 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
|
51 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
|
52 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
53 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
|
54 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
|
55 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
56 div.system-message { |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
57 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
|
58 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
|
59 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
60 div.system-message h3 { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
61 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
|
62 |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
63 div.topic { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
64 margin: 2em } |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
65 |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
66 dt { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
67 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
|
68 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
69 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
|
70 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
|
71 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
72 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
|
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 hr { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
76 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
|
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 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
|
79 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
|
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.loweralpha { |
|
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: 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
|
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.upperalpha { |
|
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: 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
|
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.lowerroman { |
|
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: 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
|
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.upperroman { |
|
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: 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
|
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 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
|
94 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
|
95 |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
96 p.credits { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
97 font-style: italic ; |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
98 font-size: smaller } |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
99 |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
100 p.docinfo-name { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
101 font-weight: bold ; |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
102 text-align: right } |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
103 |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
104 p.field-name { |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
105 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
|
106 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
|
107 |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
108 p.label { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
109 white-space: nowrap } |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
110 |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
111 p.topic-title { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
112 font-weight: bold } |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
113 |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
114 pre.literal-block, pre.doctest-block { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
115 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
|
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 span.classifier { |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
118 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
|
119 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
|
120 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
121 span.classifier-delimiter { |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
122 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
|
123 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
|
124 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
125 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
|
126 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
|
127 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
128 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
|
129 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
|
130 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
131 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
|
132 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
|
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.problematic { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
135 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
|
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 table { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
138 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
|
139 |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
140 table.citation { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
141 border-left: solid thin gray ; |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
142 padding-left: 0.5ex } |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
143 |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
144 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
|
145 margin: 2em 4em } |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
146 |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
147 table.footnote { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
148 border-left: solid thin black ; |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
149 padding-left: 0.5ex } |
