Mercurial > p > roundup > code

annotate doc/default.css @ 2365:3a80831ecebe

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
If the target platform is win32, create .bat files... ...instead of *nix shell scripts. Target platform is set to "win32" if main command is 'bdist_wininst' or if the command is 'bdist' and it has the list of formats (from command line or config file) and the first item on that list is wininst. Otherwise target platform is set to current (build) platform.
author Alexander Smishlajev <a1s@users.sourceforge.net>
date Wed, 26 May 2004 10:00:53 +0000
parents a3d63babf9c4
children ef226254ef46 096063697f77
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
2225
a3d63babf9c4 *** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents: 2141
diff changeset
4 :date: $Date: 2004-04-18 23:12:06 $
a3d63babf9c4 *** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents: 2141
diff changeset
5 :version: $Revision: 1.12 $
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 {
2225
a3d63babf9c4 *** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents: 2141
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
14 a.toc-backref {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
15 text-decoration: none ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
16 color: black }
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
17
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
18 dd {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
19 margin-bottom: 0.5em }
747
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
1098
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
46 div.dedication {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
47 margin: 2em 5em ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
48 text-align: center ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
51 div.dedication p.topic-title {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
52 font-weight: bold ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
58 div.footer, div.header {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
59 font-size: smaller }
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
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
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
71 div.system-message p.system-message-title {
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
72 color: red ;
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
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
2225
a3d63babf9c4 *** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents: 2141
diff changeset
78 h1 {
a3d63babf9c4 *** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents: 2141
diff changeset
79 margin-top: 2em;
a3d63babf9c4 *** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents: 2141
diff changeset
80 text-decoration: underline;
a3d63babf9c4 *** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents: 2141
diff changeset
81 }
a3d63babf9c4 *** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents: 2141
diff changeset
82
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
83 h1.title {
2225
a3d63babf9c4 *** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents: 2141
diff changeset
84 text-align: center;
a3d63babf9c4 *** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents: 2141
diff changeset
85 margin-top: .5em;
a3d63babf9c4 *** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents: 2141
diff changeset
86 }
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
87
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
88 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
89 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
90
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
91 hr {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
92 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
93
1098
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
94 ol.simple, ul.simple {
1228
Richard Jones <richard@users.sourceforge.net>
parents: 1125
diff changeset
95 margin-top: 0;
1098
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
96 margin-bottom: 1em }
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
97
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
98 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
99 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
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 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
102 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
103
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
104 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
105 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
106
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
107 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
108 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
109
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
110 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
111 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
112
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
113 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
114 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
115
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
116 p.credits {
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
117 font-style: italic ;
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
118 font-size: smaller }
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
119
1098
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
120 p.first {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
121 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
122
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
123 p.label {
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
124 white-space: nowrap }
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
125
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
126 p.topic-title {
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
127 font-weight: bold }
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
128
1098
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
129 pre.address {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
130 margin-bottom: 0 ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
131 margin-top: 0 ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
132 font-family: serif ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
133 font-size: 100% }
794
8c6df3f14020 Added better explanation of the instance configuration.
Richard Jones <richard@users.sourceforge.net>
parents: 747
diff changeset
134
1098
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
135 pre.line-block {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
136 font-family: serif ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
137 font-size: 100% }
794
8c6df3f14020 Added better explanation of the instance configuration.
Richard Jones <richard@users.sourceforge.net>
parents: 747
diff changeset
138
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 pre.literal-block, pre.doctest-block {
747
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
140 margin-left: 2em ;
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
141 margin-right: 2em ;
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
142 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
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.classifier {
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
145 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
146 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
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.classifier-delimiter {
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
149 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
150 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
151
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
152 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
153 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
154
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
155 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
156 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
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.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
159 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
160
1098
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
161 span.pre {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
162 white-space: pre }
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
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 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
165 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
166
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
167 table {
1098
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
168 margin-top: 0.5em ;
1125
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
169 margin-bottom: 0.5em ;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
170 }
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
171
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
172 table.citation {
1125
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
173 border-top: 0;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
174 border-bottom: 0;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
175 border-right: 0;
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
176 border-left: solid thin gray ;
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
177 padding-left: 0.5ex }
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
178
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
179 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
180 margin: 2em 4em }
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
181
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
182 table.footnote {
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
183 border-left: solid thin black ;
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
184 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
185
1098
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
186 td, th {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
187 padding-left: 0.5em ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
188 padding-right: 0.5em ;
1125
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
189 vertical-align: baseline;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
190 }
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
191
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
192 table.table {
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
193 border-spacing: 0px;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
194 border-collapse: separate;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
195 }
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
196 table.table td {
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
197 text-align: left;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
198 border: solid thin gray;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
199 }
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 table.table th {
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
202 text-align: left;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
203 border: solid thin gray;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
204 }
1098
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
205
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
206 td > p:first-child, th > p:first-child {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
207 margin-top: 0em }
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
208
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
209 th.docinfo-name {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
210 font-weight: bold ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
211 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
212
1098
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
213 th.field-name {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
214 font-weight: bold ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
215 text-align: right }
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
216
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
217 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
218 font-size: 100% }
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
219
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
220 tt {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
221 background-color: #eeeeee }
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
222
1228
Richard Jones <richard@users.sourceforge.net>
parents: 1125
diff changeset
223 tt.literal span.pre {
Richard Jones <richard@users.sourceforge.net>
parents: 1125
diff changeset
224 background-color: #eeeeee
Richard Jones <richard@users.sourceforge.net>
parents: 1125
diff changeset
225 }
Richard Jones <richard@users.sourceforge.net>
parents: 1125
diff changeset
226
1098
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
227 ul.auto-toc {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
228 list-style-type: none }
Roundup Issue Tracker: http://roundup-tracker.org/