annotate doc/default.css @ 688:b38f4f95bffd

More doc tweaks
author Richard Jones <richard@users.sourceforge.net>
date Thu, 11 Apr 2002 00:26:05 +0000
parents cbe9667de522
children 3c1cb2021b5e
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
688
b38f4f95bffd More doc tweaks
Richard Jones <richard@users.sourceforge.net>
parents: 687
diff changeset
4 :date: $Date: 2002-04-11 00:26:05 $
b38f4f95bffd More doc tweaks
Richard Jones <richard@users.sourceforge.net>
parents: 687
diff changeset
5 :version: $Revision: 1.3 $
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
6 :copyright: This stylesheet has been placed in the public domain.
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
7
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
8 Default cascading style sheet for the HTML output of Docutils.
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
9 */
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
10
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
11 a.footnote-reference {
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
12 font-size: smaller ;
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
13 vertical-align: super }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
14
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
15 a.target {
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
16 color: blue }
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
17
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
18 div.abstract {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
19 margin: 2em 5em }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
20
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
21 div.abstract p.topic-title {
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
22 font-weight: bold ;
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
23 text-align: center }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
24
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
25 div.attention, div.caution, div.danger, div.error, div.hint,
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
26 div.important, div.note, div.tip, div.warning {
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
27 margin: 2em ;
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
28 border: medium outset ;
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
29 padding: 1em }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
30
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
31 div.attention h3, div.caution h3, div.danger h3, div.error h3,
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
32 div.warning h3 {
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
33 color: red ;
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
34 font-weight: bold ;
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
35 font-family: sans-serif }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
36
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
37 div.hint h3, div.important h3, div.note h3, div.tip h3 {
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
38 font-weight: bold ;
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
39 font-family: sans-serif }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
40
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
41 div.field-body {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
42 margin-bottom: 1em }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
43
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
44 div.field-list {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
45 margin-bottom: -1em }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
46
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
47 div.figure {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
48 margin-left: 2em }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
49
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
50 div.system-messages {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
51 margin: 5em }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
52
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
53 div.system-messages h1 {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
54 color: red }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
55
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
56 div.system-message {
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
57 border: medium outset ;
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
58 padding: 1em }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
59
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
60 div.system-message h3 {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
61 color: red }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
62
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
63 div.topic {
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
64 margin: 2em }
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
65
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
66 dt {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
67 margin-bottom: -1em }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
68
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
69 h1.title {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
70 text-align: center }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
71
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
72 h2.subtitle {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
73 text-align: center }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
74
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
75 hr {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
76 width: 75% }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
77
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
78 ol.arabic {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
79 list-style: decimal }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
80
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
81 ol.loweralpha {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
82 list-style: lower-alpha }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
83
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
84 ol.upperalpha {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
85 list-style: upper-alpha }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
86
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
87 ol.lowerroman {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
88 list-style: lower-roman }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
89
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
90 ol.upperroman {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
91 list-style: upper-roman }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
92
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
93 p.caption {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
94 font-style: italic }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
95
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
96 p.credits {
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
97 font-style: italic ;
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
98 font-size: smaller }
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
99
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
100 p.docinfo-name {
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
101 font-weight: bold ;
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
102 text-align: right }
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
103
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
104 p.field-name {
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
105 font-weight: bold ;
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
106 margin-bottom: 1em }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
107
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
108 p.label {
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
109 white-space: nowrap }
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
110
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
111 p.topic-title {
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
112 font-weight: bold }
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
113
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
114 pre.literal-block, pre.doctest-block {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
115 margin-left: 2em }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
116
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
117 span.classifier {
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
118 font-family: sans-serif ;
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
119 font-style: oblique }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
120
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
121 span.classifier-delimiter {
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
122 font-family: sans-serif ;
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
123 font-weight: bold }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
124
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
125 span.field-argument {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
126 font-style: italic }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
127
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
128 span.interpreted {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
129 font-family: sans-serif }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
130
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
131 span.option-argument {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
132 font-style: italic }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
133
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
134 span.problematic {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
135 color: red }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
136
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
137 table {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
138 margin-top: 1em }
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
139
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
140 table.citation {
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
141 border-left: solid thin gray ;
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
142 padding-left: 0.5ex }
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
143
653
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
144 table.docinfo {
1dcbee29faa7 More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff changeset
145 margin: 2em 4em }
687
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
146
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
147 table.footnote {
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
148 border-left: solid thin black ;
cbe9667de522 doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents: 653
diff changeset
149 padding-left: 0.5ex }

Roundup Issue Tracker: http://roundup-tracker.org/