1999-02-17 04:27:08 +08:00
|
|
|
/*
|
|
|
|
* The first part of this is the standard CSS generated by LaTeX2HTML,
|
|
|
|
* with the "empty" declarations removed.
|
|
|
|
*/
|
|
|
|
|
|
|
|
/* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
|
2000-09-29 04:41:16 +08:00
|
|
|
.math { font-family: "Century Schoolbook", serif; }
|
|
|
|
.math i { font-family: "Century Schoolbook", serif;
|
|
|
|
font-weight: bold }
|
|
|
|
.boldmath { font-family: "Century Schoolbook", serif;
|
|
|
|
font-weight: bold }
|
1999-02-17 04:27:08 +08:00
|
|
|
|
2000-09-29 04:41:16 +08:00
|
|
|
/* Implement both fixed-size and relative sizes: */
|
|
|
|
small.xtiny { font-size : xx-small }
|
|
|
|
small.tiny { font-size : x-small }
|
|
|
|
small.scriptsize { font-size : smaller }
|
|
|
|
small.footnotesize { font-size : small }
|
|
|
|
big.xlarge { font-size : large }
|
|
|
|
big.xxlarge { font-size : x-large }
|
|
|
|
big.huge { font-size : larger }
|
|
|
|
big.xhuge { font-size : xx-large }
|
1999-02-17 04:27:08 +08:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Document-specific styles come next;
|
|
|
|
* these are added for the Python documentation.
|
|
|
|
*
|
|
|
|
* Note that the size specifications for the H* elements are because
|
|
|
|
* Netscape on Solaris otherwise doesn't get it right; they all end up
|
|
|
|
* the normal text size.
|
|
|
|
*/
|
|
|
|
|
2000-09-29 04:41:16 +08:00
|
|
|
body { color: #000000;
|
2000-09-17 04:40:44 +08:00
|
|
|
background-color: #ffffff; }
|
|
|
|
|
2000-09-29 04:41:16 +08:00
|
|
|
a:active { color: #ff0000; }
|
|
|
|
a:visited { color: #551a8b; }
|
|
|
|
a:link { color: #0000bb; }
|
2000-09-17 04:40:44 +08:00
|
|
|
|
2000-09-29 04:41:16 +08:00
|
|
|
h1, h2, h3, h4, h5, h6 { font-family: avantgarde, sans-serif;
|
|
|
|
font-weight: bold }
|
|
|
|
h1 { font-size: 180% }
|
|
|
|
h2 { font-size: 150% }
|
|
|
|
h3, h4 { font-size: 120% }
|
|
|
|
code, tt { font-family: monospace }
|
2001-03-09 06:17:54 +08:00
|
|
|
var { font-family: times, serif;
|
2000-03-30 06:41:52 +08:00
|
|
|
font-style: italic;
|
|
|
|
font-weight: normal }
|
1999-02-17 04:27:08 +08:00
|
|
|
|
2000-09-29 04:41:16 +08:00
|
|
|
.navigation td { background-color: #99ccff;
|
2000-08-31 15:15:57 +08:00
|
|
|
font-weight: bold;
|
|
|
|
font-family: avantgarde, sans-serif;
|
2000-09-29 04:41:16 +08:00
|
|
|
font-size: 110% }
|
2000-08-30 05:57:34 +08:00
|
|
|
|
2000-10-26 00:10:46 +08:00
|
|
|
.release-info { font-style: italic; }
|
|
|
|
|
2000-09-29 04:41:16 +08:00
|
|
|
.titlegraphic { vertical-align: top; }
|
1999-02-17 04:27:08 +08:00
|
|
|
|
2000-09-29 04:41:16 +08:00
|
|
|
.verbatim { color: #00008b }
|
1999-02-17 04:27:08 +08:00
|
|
|
|
2000-09-29 04:41:16 +08:00
|
|
|
.email { font-family: avantgarde, sans-serif }
|
|
|
|
.mimetype { font-family: avantgarde, sans-serif }
|
|
|
|
.newsgroup { font-family: avantgarde, sans-serif }
|
|
|
|
.url { font-family: avantgarde, sans-serif }
|
|
|
|
.file { font-family: avantgarde, sans-serif }
|
2000-03-30 06:41:52 +08:00
|
|
|
|
2000-10-27 04:01:09 +08:00
|
|
|
.tableheader { background-color: #99ccff;
|
2000-10-03 01:36:27 +08:00
|
|
|
font-family: avantgarde, sans-serif; }
|
2000-08-30 23:02:13 +08:00
|
|
|
|
2000-03-30 06:41:52 +08:00
|
|
|
.refcount-info { font-style: italic }
|
|
|
|
.refcount-info .value { font-weight: bold;
|
|
|
|
color: #006600 }
|
1999-03-02 23:58:20 +08:00
|
|
|
|
1999-03-26 06:22:45 +08:00
|
|
|
/*
|
|
|
|
* Some decoration for the "See also:" blocks, in part inspired by some of
|
|
|
|
* the styling on Lars Marius Garshol's XSA pages.
|
|
|
|
* (The blue in the navigation bars is #99CCFF.)
|
|
|
|
*/
|
2000-09-29 04:41:16 +08:00
|
|
|
.seealso { background-color: #fffaf0;
|
1999-03-26 06:22:45 +08:00
|
|
|
border: thin solid black;
|
|
|
|
padding: 4pt }
|
|
|
|
|
2000-09-29 04:41:16 +08:00
|
|
|
.seealso .heading { font-size: 110% }
|
1999-03-26 06:22:45 +08:00
|
|
|
|
1999-03-02 23:58:20 +08:00
|
|
|
/*
|
|
|
|
* Class 'availability' is used for module availability statements at
|
2000-09-29 04:41:16 +08:00
|
|
|
* the top of modules.
|
1999-03-02 23:58:20 +08:00
|
|
|
*/
|
|
|
|
.availability .platform { font-weight: bold }
|