Mercurial > p > roundup > code

annotate doc/default.css @ 834:568eed5fb4fd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Optimize Class.find so that the propspec can contain a set of ids to match. This is used by indexer.search so it can do just one find for all the index matches. This was already confusing code, but for common terms (lots of index matches), it is enormously faster.
author Gordon B. McMillan <gmcm@users.sourceforge.net>
date Tue, 09 Jul 2002 21:53:38 +0000
parents 8c6df3f14020
children b0d3d3535998
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
794
8c6df3f14020 Added better explanation of the instance configuration.
Richard Jones <richard@users.sourceforge.net>
parents: 747
diff changeset
4 :date: $Date: 2002-06-24 00:57:23 $
8c6df3f14020 Added better explanation of the instance configuration.
Richard Jones <richard@users.sourceforge.net>
parents: 747
diff changeset
5 :version: $Revision: 1.5 $
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
8c6df3f14020 Added better explanation of the instance configuration.
Richard Jones <richard@users.sourceforge.net>
parents: 747
diff changeset
121 li p:first-child {
8c6df3f14020 Added better explanation of the instance configuration.
Richard Jones <richard@users.sourceforge.net>
parents: 747
diff changeset
122 margin-top: 0px;
8c6df3f14020 Added better explanation of the instance configuration.
Richard Jones <richard@users.sourceforge.net>
parents: 747
diff changeset
123 }
8c6df3f14020 Added better explanation of the instance configuration.
Richard Jones <richard@users.sourceforge.net>
parents: 747
diff changeset
124
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
125 pre.literal-block, pre.doctest-block {
747
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
126 margin-left: 2em ;
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
127 margin-right: 2em ;
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
128 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
129
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
130 span.classifier {
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
131 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
132 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
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-delimiter {
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-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
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.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
139 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
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.interpreted {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
142 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
143
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
144 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
145 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
146
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
147 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
148 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
149
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
150 table {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
151 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
152
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
153 table.citation {
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
154 border-left: solid thin gray ;
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
155 padding-left: 0.5ex }
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
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 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
158 margin: 2em 4em }
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
159
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
160 table.footnote {
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
161 border-left: solid thin black ;
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
162 padding-left: 0.5ex }
Roundup Issue Tracker: http://roundup-tracker.org/