1/*
2 * The first part of this is the standard CSS generated by LaTeX2HTML,
3 * with the "empty" declarations removed.
4 */
5
6/* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
7.math                   { font-family: "Century Schoolbook", serif; }
8.math i                 { font-family: "Century Schoolbook", serif;
9                          font-weight: bold }
10.boldmath               { font-family: "Century Schoolbook", serif;
11                          font-weight: bold }
12
13/*
14 * Implement both fixed-size and relative sizes.
15 *
16 * I think these can be safely removed, as it doesn't appear that
17 * LaTeX2HTML ever generates these, even though these are carried
18 * over from the LaTeX2HTML stylesheet.
19 */
20small.xtiny             { font-size : xx-small; }
21small.tiny              { font-size : x-small; }
22small.scriptsize        { font-size : smaller; }
23small.footnotesize      { font-size : small; }
24big.xlarge              { font-size : large; }
25big.xxlarge             { font-size : x-large; }
26big.huge                { font-size : larger; }
27big.xhuge               { font-size : xx-large; }
28
29/*
30 * Document-specific styles come next;
31 * these are added for the Python documentation.
32 *
33 * Note that the size specifications for the H* elements are because
34 * Netscape on Solaris otherwise doesn't get it right; they all end up
35 * the normal text size.
36 */
37
38body                    { color: #000000;
39                          background-color: #ffffff; }
40
41a:link:active           { color: #ff0000; }
42a:link:hover            { background-color: #bbeeff; }
43a:visited:hover         { background-color: #bbeeff; }
44a:visited               { color: #551a8b; }
45a:link                  { color: #0000bb; }
46
47h1, h2, h3, h4, h5, h6  { font-family: avantgarde, sans-serif;
48                          font-weight: bold; }
49h1                      { font-size: 180%; }
50h2                      { font-size: 150%; }
51h3, h4                  { font-size: 120%; }
52
53/* These are section titles used in navigation links, so make sure we
54 * match the section header font here, even it not the weight.
55 */
56.sectref                { font-family: avantgarde, sans-serif; }
57/* And the label before the titles in navigation: */
58.navlabel               { font-size: 85%; }
59
60
61/* LaTeX2HTML insists on inserting <br> elements into headers which
62 * are marked with \label.  This little bit of CSS magic ensures that
63 * these elements don't cause spurious whitespace to be added.
64 */
65h1>br, h2>br, h3>br,
66h4>br, h5>br, h6>br     { display: none; }
67
68code, tt                { font-family: "lucida typewriter", lucidatypewriter,
69                                       monospace; }
70var                     { font-family: times, serif;
71                          font-style: italic;
72                          font-weight: normal; }
73
74.Unix                   { font-variant: small-caps; }
75
76.typelabel              { font-family: lucida, sans-serif; }
77
78.navigation td          { background-color: #99ccff;
79                          font-weight: bold;
80                          font-family: avantgarde, sans-serif;
81                          font-size: 110%; }
82
83div.warning             { background-color: #fffaf0;
84                          border: thin solid black;
85                          padding: 1em;
86                          margin-left: 2em;
87                          margin-right: 2em; }
88
89div.warning .label      { font-family: sans-serif;
90                          font-size: 110%;
91                          margin-right: 0.5em; }
92
93div.note                { background-color: #fffaf0;
94                          border: thin solid black;
95                          padding: 1em;
96                          margin-left: 2em;
97                          margin-right: 2em; }
98
99div.note .label         { margin-right: 0.5em;
100                          font-family: sans-serif; }
101
102address                 { font-size: 80%; }
103.release-info           { font-style: italic;
104                          font-size: 80%; }
105
106.titlegraphic           { vertical-align: top; }
107
108.verbatim pre           { color: #00008b;
109                          font-family: "lucida typewriter", lucidatypewriter,
110                                       monospace;
111                          font-size: 90%; }
112.verbatim               { margin-left: 2em; }
113.verbatim .footer       { padding: 0.05in;
114                          font-size: 85%;
115                          background-color: #99ccff;
116                          margin-right: 0.5in; }
117
118.grammar                { background-color: #99ccff;
119                          margin-right: 0.5in;
120                          padding: 0.05in; }
121.grammar-footer         { padding: 0.05in;
122                          font-size: 85%; }
123.grammartoken           { font-family: "lucida typewriter", lucidatypewriter,
124                                       monospace; }
125
126.productions                  { background-color: #bbeeff; }
127.productions a:active         { color: #ff0000; }
128.productions a:link:hover     { background-color: #99ccff; }
129.productions a:visited:hover  { background-color: #99ccff; }
130.productions a:visited        { color: #551a8b; }
131.productions a:link           { color: #0000bb; }
132.productions table            { vertical-align: baseline;
133                                empty-cells: show; }
134.productions > table td,
135.productions > table th       { padding: 2px; }
136.productions > table td:first-child,
137.productions > table td:last-child {
138                                font-family: "lucida typewriter",
139                                             lucidatypewriter,
140                                             monospace;
141                                }
142/* same as the second selector above, but expressed differently for Opera */
143.productions > table td:first-child + td + td {
144                                font-family: "lucida typewriter",
145                                             lucidatypewriter,
146                                             monospace;
147                                vertical-align: baseline;
148                                }
149.productions > table td:first-child + td {
150                                padding-left: 1em;
151                                padding-right: 1em;
152                                }
153.productions > table tr       { vertical-align: baseline; }
154
155.email                  { font-family: avantgarde, sans-serif; }
156.mailheader             { font-family: avantgarde, sans-serif; }
157.mimetype               { font-family: avantgarde, sans-serif; }
158.newsgroup              { font-family: avantgarde, sans-serif; }
159.url                    { font-family: avantgarde, sans-serif; }
160.file                   { font-family: avantgarde, sans-serif; }
161.guilabel               { font-family: avantgarde, sans-serif; }
162
163.realtable              { border-collapse: collapse;
164                          border-color: black;
165                          border-style: solid;
166                          border-width: 0px 0px 2px 0px;
167                          empty-cells: show;
168                          margin-left: auto;
169                          margin-right: auto;
170                          padding-left: 0.4em;
171                          padding-right: 0.4em;
172                          }
173.realtable tbody        { vertical-align: baseline; }
174.realtable tfoot        { display: table-footer-group; }
175.realtable thead        { background-color: #99ccff;
176                          border-width: 0px 0px 2px 1px;
177                          display: table-header-group;
178                          font-family: avantgarde, sans-serif;
179                          font-weight: bold;
180                          vertical-align: baseline;
181                          }
182.realtable thead :first-child {
183                          border-width: 0px 0px 2px 0px;
184                          }
185.realtable thead th     { border-width: 0px 0px 2px 1px }
186.realtable td,
187.realtable th           { border-color: black;
188                          border-style: solid;
189                          border-width: 0px 0px 1px 1px;
190                          padding-left: 0.4em;
191                          padding-right: 0.4em;
192                          }
193.realtable td:first-child,
194.realtable th:first-child {
195                          border-left-width: 0px;
196                          vertical-align: baseline;
197                          }
198.center                 { text-align: center; }
199.left                   { text-align: left; }
200.right                  { text-align: right; }
201
202.refcount-info          { font-style: italic; }
203.refcount-info .value   { font-weight: bold;
204                          color: #006600; }
205
206/*
207 * Some decoration for the "See also:" blocks, in part inspired by some of
208 * the styling on Lars Marius Garshol's XSA pages.
209 * (The blue in the navigation bars is #99CCFF.)
210 */
211.seealso                { background-color: #fffaf0;
212                          border: thin solid black;
213                          padding: 0pt 1em 4pt 1em; }
214
215.seealso > .heading     { font-size: 110%;
216                          font-weight: bold; }
217
218/*
219 * Class 'availability' is used for module availability statements at
220 * the top of modules.
221 */
222.availability .platform { font-weight: bold; }
223
224
225/*
226 * Additional styles for the distutils package.
227 */
228.du-command             { font-family: monospace; }
229.du-option              { font-family: avantgarde, sans-serif; }
230.du-filevar             { font-family: avantgarde, sans-serif;
231                          font-style: italic; }
232.du-xxx:before          { content: "** ";
233                          font-weight: bold; }
234.du-xxx:after           { content: " **";
235                          font-weight: bold; }
236
237
238/*
239 * Some specialization for printed output.
240 */
241@media print {
242  .online-navigation    { display: none; }
243  }
244