home *** CD-ROM | disk | FTP | other *** search
- /*
- * The first part of this is the standard CSS generated by LaTeX2HTML,
- * with the "empty" declarations removed.
- */
-
- .math { font-family: serif; }
- .math i { font-family: serif; font-weight: bold }
- .boldmath { font-family: serif; font-weight: bold }
-
- /* 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 }
-
- /*
- * 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.
- */
- a:link { color:#B82619; }
- a:visited { color:#C2B266; }
- a:active { color: #000000; }
- a:hover { color: #000000; text-decoration: underline; }
-
-
- body { font-family: verdana, arial, helvetica, sans-serif; font-size: small; }
- h1, h2, h3, h4, h5, h6 { font-family: verdana, arial, helvetica, sans-serif; font-weight: bold; }
- h1 { font-size: 180% }
- h2 { font-size: 150% }
- h3, h4 { font-size: 120% }
- code, tt { font-family: monospace }
- var { font-family: serif; font-style: italic; font-weight: normal }
-
- .navigation { font-family: verdana, arial, helvetica, sans-serif; font-size: 110% }
-
- .title { font-family: verdana, arial, helvetica, sans-serif; font-size: 110% }
-
- .release-info { font-style: italic; }
-
- .verbatim { color: #00008b }
-
- .tableheader { background-color: #99ccff;
- font-family: verdana, arial, helvetica, sans-serif; }
- .email { font-family: verdana, arial, helvetica, sans-serif }
- .mimetype { font-family: verdana, arial, helvetica, sans-serif }
- .newsgroup { font-family: verdana, arial, helvetica, sans-serif }
- .url { font-family: verdana, arial, helvetica, sans-serif }
- .file { font-family: verdana, arial, helvetica, sans-serif }
-
- .refcount-info { font-style: italic }
- .refcount-info .value { font-weight: bold; color: #006600 }
-
- .seealso { background-color: #EAE2BB; border: thin solid black; padding: 4pt }
-
- .seealso .heading { font-size: 110% }
-
- /*
- * Class 'availability' is used for module availability statements at
- * the top of modules.
- */
- .availability .platform { font-weight: bold }
-