Mercurial > p > roundup > code

annotate doc/default.css @ 8407:700424ba015c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Doc: add docstrings to http exceptions
author John Rouillard <rouilj@ieee.org>
date Sun, 10 Aug 2025 20:57:57 -0400
parents 33a1f03b9de0
children
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
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
13 a.toc-backref {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
14 text-decoration: none ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
15 color: black }
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
16
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
17 dd {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
18 margin-bottom: 0.5em }
747
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
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
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
27 div.attention, div.caution, div.danger, div.error,
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
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
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
33 div.hint, div.note {
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
34 font-size: 80%;
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
35 float: right;
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
36 width: 15em;
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
37 margin: 0.5em;
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
38 margin-left: 1em ;
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
39 border: solid #aaa;
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
40 background: #eee;
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
41 padding: 1em;
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
42 }
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
43
747
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
44 div.attention p.admonition-title, div.caution p.admonition-title,
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
45 div.danger p.admonition-title, div.error p.admonition-title,
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
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
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
51 div.hint p.admonition-title, div.important p.admonition-title,
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
56 div.dedication {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
57 margin: 2em 5em ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
58 text-align: center ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
61 div.dedication p.topic-title {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
62 font-weight: bold ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
68 div.footer, div.header {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
69 font-size: smaller }
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
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
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
81 div.system-message p.system-message-title {
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
82 color: red ;
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
104 ol.simple, ul.simple {
1228
Richard Jones <richard@users.sourceforge.net>
parents: 1125
diff changeset
105 margin-top: 0;
1098
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
106 margin-bottom: 1em }
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
130 p.first {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
139 pre.address {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
140 margin-bottom: 0 ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
141 margin-top: 0 ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
142 font-family: serif ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
145 pre.line-block {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
146 font-family: serif ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
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
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
150 margin-left: 2em ;
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
151 margin-right: 2em ;
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
171 span.pre {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
172 white-space: pre }
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
178 margin-top: 0.5em ;
1125
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
179 margin-bottom: 0.5em ;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
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
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
183 border-top: 0;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
184 border-bottom: 0;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
196 td, th {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
197 padding-left: 0.5em ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
198 padding-right: 0.5em ;
1125
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
199 vertical-align: baseline;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
200 }
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
201
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
202 table.table {
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
203 border-spacing: 0px;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
204 border-collapse: separate;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
205 }
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
206 table.table td {
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
207 text-align: left;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
208 border: solid thin gray;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
209 }
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
210
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
211 table.table th {
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
212 text-align: left;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
213 border: solid thin gray;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
214 }
1098
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
215
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
216 td > p:first-child, th > p:first-child {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
217 margin-top: 0em }
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
218
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
219 th.docinfo-name {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
220 font-weight: bold ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
223 th.field-name {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
224 font-weight: bold ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
225 text-align: right }
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
226
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
227 h1 tt, h2 tt, h3 tt, h4 tt, h5 tt, h6 tt {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
228 font-size: 100% }
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
229
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
230 tt {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
231 background-color: #eeeeee }
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
232
1228
Richard Jones <richard@users.sourceforge.net>
parents: 1125
diff changeset
233 tt.literal span.pre {
Richard Jones <richard@users.sourceforge.net>
parents: 1125
diff changeset
234 background-color: #eeeeee
Richard Jones <richard@users.sourceforge.net>
parents: 1125
diff changeset
235 }
Richard Jones <richard@users.sourceforge.net>
parents: 1125
diff changeset
236
1098
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
237 ul.auto-toc {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
238 list-style-type: none }
Roundup Issue Tracker: http://roundup-tracker.org/