Mercurial > p > roundup > code

annotate doc/default.css @ 689:456a1ed04650

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Here's a cron-job reminder script... ...that we're going to be using here at ekit. Might be useful for other people. Could use some work making it more general and easier to customise.
author Richard Jones <richard@users.sourceforge.net>
date Mon, 15 Apr 2002 06:37:31 +0000
parents b38f4f95bffd
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/