2
* The first part of this is the standard CSS generated by LaTeX2HTML,
3
* with the "empty" declarations removed.
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;
10
.boldmath { font-family: "Century Schoolbook", serif;
14
* Implement both fixed-size and relative sizes.
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.
20
small.xtiny { font-size : xx-small; }
21
small.tiny { font-size : x-small; }
22
small.scriptsize { font-size : smaller; }
23
small.footnotesize { font-size : small; }
24
big.xlarge { font-size : large; }
25
big.xxlarge { font-size : x-large; }
26
big.huge { font-size : larger; }
27
big.xhuge { font-size : xx-large; }
30
* Document-specific styles come next;
31
* these are added for the Python documentation.
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.
38
body { color: #000000;
39
background-color: #ffffff; }
41
a:active { color: #ff0000; }
42
a:link:hover { background-color: #bbeeff; }
43
a:visited:hover { background-color: #bbeeff; }
44
a:visited { color: #551a8b; }
45
a:link { color: #0000bb; }
47
h1, h2, h3, h4, h5, h6 { font-family: avantgarde, sans-serif;
49
h1 { font-size: 180%; }
50
h2 { font-size: 150%; }
51
h3, h4 { font-size: 120%; }
53
/* LaTeX2HTML insists on inserting <br> elements into headers which
54
* are marked with \label. This little bit of CSS magic ensures that
55
* these elements don't cause spurious whitespace to be added.
58
h4>br, h5>br, h6>br { display: none; }
60
code, tt { font-family: "lucida typewriter", lucidatypewriter,
62
var { font-family: times, serif;
64
font-weight: normal; }
66
.typelabel { font-family: lucida, sans-serif; }
68
.navigation td { background-color: #99ccff;
70
font-family: avantgarde, sans-serif;
73
div.warning { background-color: #fffaf0;
74
border: thin solid black;
79
div.warning .label { font-family: sans-serif;
81
margin-right: 0.5em; }
83
div.note { background-color: #fffaf0;
84
border: thin solid black;
89
div.note .label { margin-right: 0.5em;
90
font-family: sans-serif; }
92
.release-info { font-style: italic; }
94
.titlegraphic { vertical-align: top; }
96
.verbatim pre { color: #00008b;
97
font-family: "lucida typewriter", lucidatypewriter,
100
.verbatim { margin-left: 2em; }
101
.verbatim .footer { padding: 0.05in;
103
background-color: #99ccff;
104
margin-right: 0.5in; }
106
.grammar { background-color: #99ccff;
109
.grammar-footer { padding: 0.05in;
112
.productions { background-color: #bbeeff; }
113
.productions a:active { color: #ff0000; }
114
.productions a:link:hover { background-color: #99ccff; }
115
.productions a:visited:hover { background-color: #99ccff; }
116
.productions a:visited { color: #551a8b; }
117
.productions a:link { color: #0000bb; }
118
.productions table { vertical-align: baseline; }
120
.email { font-family: avantgarde, sans-serif; }
121
.mailheader { font-family: avantgarde, sans-serif; }
122
.mimetype { font-family: avantgarde, sans-serif; }
123
.newsgroup { font-family: avantgarde, sans-serif; }
124
.url { font-family: avantgarde, sans-serif; }
125
.file { font-family: avantgarde, sans-serif; }
126
.menuselection { font-family: avantgarde, sans-serif; }
128
.tableheader { background-color: #99ccff;
129
font-family: avantgarde, sans-serif; }
131
.refcount-info { font-style: italic; }
132
.refcount-info .value { font-weight: bold;
136
* Some decoration for the "See also:" blocks, in part inspired by some of
137
* the styling on Lars Marius Garshol's XSA pages.
138
* (The blue in the navigation bars is #99CCFF.)
140
.seealso { background-color: #fffaf0;
141
border: thin solid black;
142
padding: 0pt 1em 4pt 1em; }
144
.seealso .heading { font-size: 110%; }
147
* Class 'availability' is used for module availability statements at
148
* the top of modules.
150
.availability .platform { font-weight: bold; }
154
* Some specialization for printed output.
157
.online-navigation { display: none; }