1999-02-16 16:27:08 -04: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-28 17:41:16 -03: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-16 16:27:08 -04:00
|
|
|
|
2001-07-06 19:37:36 -03:00
|
|
|
/*
|
|
|
|
* Implement both fixed-size and relative sizes.
|
|
|
|
*
|
|
|
|
* I think these can be safely removed, as it doesn't appear that
|
|
|
|
* LaTeX2HTML ever generates these, even though these are carried
|
|
|
|
* over from the LaTeX2HTML stylesheet.
|
|
|
|
*/
|
2001-06-23 01:53:43 -03:00
|
|
|
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-16 16:27:08 -04: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-28 17:41:16 -03:00
|
|
|
body { color: #000000;
|
2000-09-16 17:40:44 -03:00
|
|
|
background-color: #ffffff; }
|
|
|
|
|
2004-11-13 17:58:01 -04:00
|
|
|
a:link:active { color: #ff0000; }
|
2003-06-27 13:32:27 -03:00
|
|
|
a:link:hover { background-color: #bbeeff; }
|
|
|
|
a:visited:hover { background-color: #bbeeff; }
|
2000-09-28 17:41:16 -03:00
|
|
|
a:visited { color: #551a8b; }
|
|
|
|
a:link { color: #0000bb; }
|
2000-09-16 17:40:44 -03:00
|
|
|
|
2000-09-28 17:41:16 -03:00
|
|
|
h1, h2, h3, h4, h5, h6 { font-family: avantgarde, sans-serif;
|
2001-06-23 01:53:43 -03:00
|
|
|
font-weight: bold; }
|
|
|
|
h1 { font-size: 180%; }
|
|
|
|
h2 { font-size: 150%; }
|
|
|
|
h3, h4 { font-size: 120%; }
|
2003-09-05 22:10:14 -03:00
|
|
|
|
2004-11-10 13:56:29 -04:00
|
|
|
/* These are section titles used in navigation links, so make sure we
|
|
|
|
* match the section header font here, even it not the weight.
|
|
|
|
*/
|
|
|
|
.sectref { font-family: avantgarde, sans-serif; }
|
|
|
|
/* And the label before the titles in navigation: */
|
|
|
|
.navlabel { font-size: 85%; }
|
|
|
|
|
|
|
|
|
2003-09-05 22:10:14 -03:00
|
|
|
/* LaTeX2HTML insists on inserting <br> elements into headers which
|
|
|
|
* are marked with \label. This little bit of CSS magic ensures that
|
|
|
|
* these elements don't cause spurious whitespace to be added.
|
|
|
|
*/
|
|
|
|
h1>br, h2>br, h3>br,
|
|
|
|
h4>br, h5>br, h6>br { display: none; }
|
|
|
|
|
2003-08-29 01:09:26 -03:00
|
|
|
code, tt { font-family: "lucida typewriter", lucidatypewriter,
|
2001-11-14 18:35:59 -04:00
|
|
|
monospace; }
|
2001-03-08 18:17:54 -04:00
|
|
|
var { font-family: times, serif;
|
2000-03-29 18:41:52 -04:00
|
|
|
font-style: italic;
|
2001-06-23 01:53:43 -03:00
|
|
|
font-weight: normal; }
|
1999-02-16 16:27:08 -04:00
|
|
|
|
2004-11-10 13:56:29 -04:00
|
|
|
.Unix { font-variant: small-caps; }
|
|
|
|
|
2001-11-26 17:46:53 -04:00
|
|
|
.typelabel { font-family: lucida, sans-serif; }
|
2001-11-14 18:35:59 -04:00
|
|
|
|
2000-09-28 17:41:16 -03:00
|
|
|
.navigation td { background-color: #99ccff;
|
2000-08-31 04:15:57 -03:00
|
|
|
font-weight: bold;
|
|
|
|
font-family: avantgarde, sans-serif;
|
2001-06-23 01:53:43 -03:00
|
|
|
font-size: 110%; }
|
2000-08-29 18:57:34 -03:00
|
|
|
|
2002-05-01 19:03:40 -03:00
|
|
|
div.warning { background-color: #fffaf0;
|
|
|
|
border: thin solid black;
|
2003-09-30 12:40:33 -03:00
|
|
|
padding: 1em;
|
2002-05-01 19:03:40 -03:00
|
|
|
margin-left: 2em;
|
|
|
|
margin-right: 2em; }
|
|
|
|
|
2003-01-27 12:31:16 -04:00
|
|
|
div.warning .label { font-family: sans-serif;
|
|
|
|
font-size: 110%;
|
2002-05-01 19:03:40 -03:00
|
|
|
margin-right: 0.5em; }
|
|
|
|
|
2003-01-27 12:31:16 -04:00
|
|
|
div.note { background-color: #fffaf0;
|
|
|
|
border: thin solid black;
|
2003-09-30 12:43:20 -03:00
|
|
|
padding: 1em;
|
2003-01-27 12:31:16 -04:00
|
|
|
margin-left: 2em;
|
|
|
|
margin-right: 2em; }
|
|
|
|
|
|
|
|
div.note .label { margin-right: 0.5em;
|
|
|
|
font-family: sans-serif; }
|
|
|
|
|
2004-11-10 13:56:29 -04:00
|
|
|
address { font-size: 80%; }
|
|
|
|
.release-info { font-style: italic;
|
|
|
|
font-size: 80%; }
|
2000-10-25 13:10:46 -03:00
|
|
|
|
2000-09-28 17:41:16 -03:00
|
|
|
.titlegraphic { vertical-align: top; }
|
1999-02-16 16:27:08 -04:00
|
|
|
|
2002-04-15 15:41:31 -03:00
|
|
|
.verbatim pre { color: #00008b;
|
2003-08-29 01:09:26 -03:00
|
|
|
font-family: "lucida typewriter", lucidatypewriter,
|
2002-04-15 15:41:31 -03:00
|
|
|
monospace;
|
|
|
|
font-size: 90%; }
|
|
|
|
.verbatim { margin-left: 2em; }
|
2003-01-29 01:14:44 -04:00
|
|
|
.verbatim .footer { padding: 0.05in;
|
|
|
|
font-size: 85%;
|
|
|
|
background-color: #99ccff;
|
|
|
|
margin-right: 0.5in; }
|
1999-02-16 16:27:08 -04:00
|
|
|
|
2001-07-06 19:37:36 -03:00
|
|
|
.grammar { background-color: #99ccff;
|
|
|
|
margin-right: 0.5in;
|
|
|
|
padding: 0.05in; }
|
|
|
|
.grammar-footer { padding: 0.05in;
|
|
|
|
font-size: 85%; }
|
2004-11-10 13:02:43 -04:00
|
|
|
.grammartoken { font-family: "lucida typewriter", lucidatypewriter,
|
|
|
|
monospace; }
|
2001-07-06 19:37:36 -03:00
|
|
|
|
2003-06-27 13:32:27 -03:00
|
|
|
.productions { background-color: #bbeeff; }
|
|
|
|
.productions a:active { color: #ff0000; }
|
|
|
|
.productions a:link:hover { background-color: #99ccff; }
|
|
|
|
.productions a:visited:hover { background-color: #99ccff; }
|
|
|
|
.productions a:visited { color: #551a8b; }
|
|
|
|
.productions a:link { color: #0000bb; }
|
2004-11-10 13:02:43 -04:00
|
|
|
.productions table { vertical-align: baseline;
|
|
|
|
empty-cells: show; }
|
|
|
|
.productions > table td,
|
|
|
|
.productions > table th { padding: 2px; }
|
|
|
|
.productions > table td:first-child,
|
|
|
|
.productions > table td:last-child {
|
|
|
|
font-family: "lucida typewriter",
|
|
|
|
lucidatypewriter,
|
|
|
|
monospace;
|
|
|
|
}
|
|
|
|
/* same as the second selector above, but expressed differently for Opera */
|
|
|
|
.productions > table td:first-child + td + td {
|
|
|
|
font-family: "lucida typewriter",
|
|
|
|
lucidatypewriter,
|
|
|
|
monospace;
|
|
|
|
vertical-align: baseline;
|
|
|
|
}
|
|
|
|
.productions > table td:first-child + td {
|
|
|
|
padding-left: 1em;
|
|
|
|
padding-right: 1em;
|
|
|
|
}
|
|
|
|
.productions > table tr { vertical-align: baseline; }
|
2003-06-27 13:32:27 -03:00
|
|
|
|
2001-06-23 01:53:43 -03:00
|
|
|
.email { font-family: avantgarde, sans-serif; }
|
2001-09-26 15:46:36 -03:00
|
|
|
.mailheader { font-family: avantgarde, sans-serif; }
|
2001-06-23 01:53:43 -03:00
|
|
|
.mimetype { font-family: avantgarde, sans-serif; }
|
|
|
|
.newsgroup { font-family: avantgarde, sans-serif; }
|
|
|
|
.url { font-family: avantgarde, sans-serif; }
|
|
|
|
.file { font-family: avantgarde, sans-serif; }
|
2004-01-23 04:52:28 -04:00
|
|
|
.guilabel { font-family: avantgarde, sans-serif; }
|
2000-03-29 18:41:52 -04:00
|
|
|
|
2004-11-10 11:37:54 -04:00
|
|
|
.realtable { border-collapse: collapse;
|
|
|
|
border-color: black;
|
|
|
|
border-style: solid;
|
|
|
|
border-width: 0px 0px 2px 0px;
|
|
|
|
empty-cells: show;
|
|
|
|
margin-left: auto;
|
|
|
|
margin-right: auto;
|
|
|
|
padding-left: 0.4em;
|
|
|
|
padding-right: 0.4em;
|
|
|
|
}
|
|
|
|
.realtable tbody { vertical-align: baseline; }
|
|
|
|
.realtable tfoot { display: table-footer-group; }
|
|
|
|
.realtable thead { background-color: #99ccff;
|
|
|
|
border-width: 0px 0px 2px 1px;
|
|
|
|
display: table-header-group;
|
|
|
|
font-family: avantgarde, sans-serif;
|
|
|
|
font-weight: bold;
|
|
|
|
vertical-align: baseline;
|
|
|
|
}
|
|
|
|
.realtable thead :first-child {
|
|
|
|
border-width: 0px 0px 2px 0px;
|
|
|
|
}
|
|
|
|
.realtable thead th { border-width: 0px 0px 2px 1px }
|
|
|
|
.realtable td,
|
|
|
|
.realtable th { border-color: black;
|
|
|
|
border-style: solid;
|
|
|
|
border-width: 0px 0px 1px 1px;
|
|
|
|
padding-left: 0.4em;
|
|
|
|
padding-right: 0.4em;
|
|
|
|
}
|
|
|
|
.realtable td:first-child,
|
|
|
|
.realtable th:first-child {
|
|
|
|
border-left-width: 0px;
|
|
|
|
vertical-align: baseline;
|
|
|
|
}
|
2004-11-10 15:22:05 -04:00
|
|
|
.center { text-align: center; }
|
|
|
|
.left { text-align: left; }
|
|
|
|
.right { text-align: right; }
|
2000-08-30 12:02:13 -03:00
|
|
|
|
2001-06-23 01:53:43 -03:00
|
|
|
.refcount-info { font-style: italic; }
|
2000-03-29 18:41:52 -04:00
|
|
|
.refcount-info .value { font-weight: bold;
|
2001-06-23 01:53:43 -03:00
|
|
|
color: #006600; }
|
1999-03-02 11:58:20 -04:00
|
|
|
|
1999-03-25 18:22:45 -04: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-28 17:41:16 -03:00
|
|
|
.seealso { background-color: #fffaf0;
|
1999-03-25 18:22:45 -04:00
|
|
|
border: thin solid black;
|
2003-09-05 10:58:26 -03:00
|
|
|
padding: 0pt 1em 4pt 1em; }
|
1999-03-25 18:22:45 -04:00
|
|
|
|
2004-11-10 04:08:26 -04:00
|
|
|
.seealso > .heading { font-size: 110%;
|
|
|
|
font-weight: bold; }
|
1999-03-25 18:22:45 -04:00
|
|
|
|
1999-03-02 11:58:20 -04:00
|
|
|
/*
|
|
|
|
* Class 'availability' is used for module availability statements at
|
2000-09-28 17:41:16 -03:00
|
|
|
* the top of modules.
|
1999-03-02 11:58:20 -04:00
|
|
|
*/
|
2001-06-23 01:53:43 -03:00
|
|
|
.availability .platform { font-weight: bold; }
|
2003-09-04 16:30:15 -03:00
|
|
|
|
|
|
|
|
2004-10-19 12:40:38 -03:00
|
|
|
/*
|
|
|
|
* Additional styles for the distutils package.
|
|
|
|
*/
|
|
|
|
.du-command { font-family: monospace; }
|
|
|
|
.du-option { font-family: avantgarde, sans-serif; }
|
|
|
|
.du-filevar { font-family: avantgarde, sans-serif;
|
|
|
|
font-style: italic; }
|
|
|
|
.du-xxx:before { content: "** ";
|
|
|
|
font-weight: bold; }
|
|
|
|
.du-xxx:after { content: " **";
|
|
|
|
font-weight: bold; }
|
|
|
|
|
|
|
|
|
2003-09-04 16:30:15 -03:00
|
|
|
/*
|
|
|
|
* Some specialization for printed output.
|
|
|
|
*/
|
|
|
|
@media print {
|
2003-09-04 19:16:45 -03:00
|
|
|
.online-navigation { display: none; }
|
2003-09-04 16:30:15 -03:00
|
|
|
}
|