diff options
| author | Fred Drake <fdrake@acm.org> | 1999-02-16 20:27:08 (GMT) |
|---|---|---|
| committer | Fred Drake <fdrake@acm.org> | 1999-02-16 20:27:08 (GMT) |
| commit | 00d98ee5cc35d14e70b4a10df48c0c474a3a128a (patch) | |
| tree | 1b8e58e59ee0024c74d6890dd356c326ee69455d /Doc | |
| parent | 63f217741effa37bc6d64bff7f5574d4e5518162 (diff) | |
| download | cpython-00d98ee5cc35d14e70b4a10df48c0c474a3a128a.zip cpython-00d98ee5cc35d14e70b4a10df48c0c474a3a128a.tar.gz cpython-00d98ee5cc35d14e70b4a10df48c0c474a3a128a.tar.bz2 | |
CSS style sheet for the documentation.
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/html/style.css | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/Doc/html/style.css b/Doc/html/style.css new file mode 100644 index 0000000..0ae3cb7 --- /dev/null +++ b/Doc/html/style.css @@ -0,0 +1,45 @@ +/* + * 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 */ +.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 } + +/* 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. + */ + +h1, h2, h3, h4, h5, h6 { font-family: avantgarde, sans-serif; + font-weight: bold } +h1, h2 { font-size: x-large } +h3, h4 { font-size: large } +code, tt { font-family: courier } +var { font: italic normal serif } + +.navigation .title { font-family: avantgarde, sans-serif; + font-size: 110% } + +.verbatim { color: darkblue } + +.email { font-family: avantgarde, sans-serif } +.mimetype { font-family: avantgarde, sans-serif } +.newsgroup { font-family: avantgarde, sans-serif } +.url { font-family: avantgarde, sans-serif } |