Fred Drake | 00d98ee | 1999-02-16 20:27:08 +0000 | [diff] [blame] | 1 | /* |
| 2 | * The first part of this is the standard CSS generated by LaTeX2HTML, |
| 3 | * with the "empty" declarations removed. |
| 4 | */ |
| 5 | |
| 6 | /* Century Schoolbook font is very similar to Computer Modern Math: cmmi */ |
Fred Drake | 329796d | 2000-09-28 20:41:16 +0000 | [diff] [blame] | 7 | .math { font-family: "Century Schoolbook", serif; } |
| 8 | .math i { font-family: "Century Schoolbook", serif; |
| 9 | font-weight: bold } |
| 10 | .boldmath { font-family: "Century Schoolbook", serif; |
| 11 | font-weight: bold } |
Fred Drake | 00d98ee | 1999-02-16 20:27:08 +0000 | [diff] [blame] | 12 | |
Fred Drake | bde8d1c | 2001-07-06 22:37:36 +0000 | [diff] [blame] | 13 | /* |
| 14 | * Implement both fixed-size and relative sizes. |
| 15 | * |
| 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. |
| 19 | */ |
Fred Drake | 1ab1f71 | 2001-06-23 04:53:43 +0000 | [diff] [blame] | 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; } |
Fred Drake | 00d98ee | 1999-02-16 20:27:08 +0000 | [diff] [blame] | 28 | |
| 29 | /* |
| 30 | * Document-specific styles come next; |
| 31 | * these are added for the Python documentation. |
| 32 | * |
| 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. |
| 36 | */ |
| 37 | |
Fred Drake | 329796d | 2000-09-28 20:41:16 +0000 | [diff] [blame] | 38 | body { color: #000000; |
Fred Drake | 1681627 | 2000-09-16 20:40:44 +0000 | [diff] [blame] | 39 | background-color: #ffffff; } |
| 40 | |
Fred Drake | 329796d | 2000-09-28 20:41:16 +0000 | [diff] [blame] | 41 | a:active { color: #ff0000; } |
Fred Drake | a8ef0d1 | 2002-06-14 13:47:58 +0000 | [diff] [blame^] | 42 | a[href]:hover { background-color: #bbeeff; } |
Fred Drake | 329796d | 2000-09-28 20:41:16 +0000 | [diff] [blame] | 43 | a:visited { color: #551a8b; } |
| 44 | a:link { color: #0000bb; } |
Fred Drake | 1681627 | 2000-09-16 20:40:44 +0000 | [diff] [blame] | 45 | |
Fred Drake | 329796d | 2000-09-28 20:41:16 +0000 | [diff] [blame] | 46 | h1, h2, h3, h4, h5, h6 { font-family: avantgarde, sans-serif; |
Fred Drake | 1ab1f71 | 2001-06-23 04:53:43 +0000 | [diff] [blame] | 47 | font-weight: bold; } |
| 48 | h1 { font-size: 180%; } |
| 49 | h2 { font-size: 150%; } |
| 50 | h3, h4 { font-size: 120%; } |
Fred Drake | e1d4ad3 | 2001-11-14 22:35:59 +0000 | [diff] [blame] | 51 | code, tt { font-family: lucida typewriter, lucidatypewriter, |
| 52 | monospace; } |
Fred Drake | 9eb4155 | 2001-03-08 22:17:54 +0000 | [diff] [blame] | 53 | var { font-family: times, serif; |
Fred Drake | bdcc96c | 2000-03-29 22:41:52 +0000 | [diff] [blame] | 54 | font-style: italic; |
Fred Drake | 1ab1f71 | 2001-06-23 04:53:43 +0000 | [diff] [blame] | 55 | font-weight: normal; } |
Fred Drake | 00d98ee | 1999-02-16 20:27:08 +0000 | [diff] [blame] | 56 | |
Fred Drake | beafc79 | 2001-11-26 21:46:53 +0000 | [diff] [blame] | 57 | .typelabel { font-family: lucida, sans-serif; } |
Fred Drake | e1d4ad3 | 2001-11-14 22:35:59 +0000 | [diff] [blame] | 58 | |
Fred Drake | 329796d | 2000-09-28 20:41:16 +0000 | [diff] [blame] | 59 | .navigation td { background-color: #99ccff; |
Fred Drake | 3eb7c12 | 2000-08-31 07:15:57 +0000 | [diff] [blame] | 60 | font-weight: bold; |
| 61 | font-family: avantgarde, sans-serif; |
Fred Drake | 1ab1f71 | 2001-06-23 04:53:43 +0000 | [diff] [blame] | 62 | font-size: 110%; } |
Fred Drake | 699f98c | 2000-08-29 21:57:34 +0000 | [diff] [blame] | 63 | |
Fred Drake | 5a55c49 | 2002-05-01 22:03:40 +0000 | [diff] [blame] | 64 | div.warning { background-color: #fffaf0; |
| 65 | border: thin solid black; |
| 66 | padding: 0.5em; |
| 67 | margin-left: 2em; |
| 68 | margin-right: 2em; } |
| 69 | |
| 70 | div.warning .label { font-size: 110%; |
| 71 | margin-right: 0.5em; } |
| 72 | |
Fred Drake | 6a11960 | 2000-10-25 16:10:46 +0000 | [diff] [blame] | 73 | .release-info { font-style: italic; } |
| 74 | |
Fred Drake | 329796d | 2000-09-28 20:41:16 +0000 | [diff] [blame] | 75 | .titlegraphic { vertical-align: top; } |
Fred Drake | 00d98ee | 1999-02-16 20:27:08 +0000 | [diff] [blame] | 76 | |
Fred Drake | 8a5e679 | 2002-04-15 18:41:31 +0000 | [diff] [blame] | 77 | .verbatim pre { color: #00008b; |
Fred Drake | e1d4ad3 | 2001-11-14 22:35:59 +0000 | [diff] [blame] | 78 | font-family: lucida typewriter, lucidatypewriter, |
Fred Drake | 8a5e679 | 2002-04-15 18:41:31 +0000 | [diff] [blame] | 79 | monospace; |
| 80 | font-size: 90%; } |
| 81 | .verbatim { margin-left: 2em; } |
Fred Drake | 00d98ee | 1999-02-16 20:27:08 +0000 | [diff] [blame] | 82 | |
Fred Drake | bde8d1c | 2001-07-06 22:37:36 +0000 | [diff] [blame] | 83 | .grammar { background-color: #99ccff; |
| 84 | margin-right: 0.5in; |
| 85 | padding: 0.05in; } |
| 86 | .productions { background-color: #bbeeff; } |
Fred Drake | a8e5d43 | 2002-04-04 22:56:57 +0000 | [diff] [blame] | 87 | .productions a:hover { background-color: #99ccff; } |
Fred Drake | bde8d1c | 2001-07-06 22:37:36 +0000 | [diff] [blame] | 88 | .productions table { vertical-align: baseline; } |
| 89 | .grammar-footer { padding: 0.05in; |
| 90 | font-size: 85%; } |
| 91 | |
Fred Drake | 1ab1f71 | 2001-06-23 04:53:43 +0000 | [diff] [blame] | 92 | .email { font-family: avantgarde, sans-serif; } |
Fred Drake | 479384e | 2001-09-26 18:46:36 +0000 | [diff] [blame] | 93 | .mailheader { font-family: avantgarde, sans-serif; } |
Fred Drake | 1ab1f71 | 2001-06-23 04:53:43 +0000 | [diff] [blame] | 94 | .mimetype { font-family: avantgarde, sans-serif; } |
| 95 | .newsgroup { font-family: avantgarde, sans-serif; } |
| 96 | .url { font-family: avantgarde, sans-serif; } |
| 97 | .file { font-family: avantgarde, sans-serif; } |
Fred Drake | bdcc96c | 2000-03-29 22:41:52 +0000 | [diff] [blame] | 98 | |
Fred Drake | 6c7fc77 | 2000-10-26 20:01:09 +0000 | [diff] [blame] | 99 | .tableheader { background-color: #99ccff; |
Fred Drake | 5df72f0 | 2000-10-02 17:36:27 +0000 | [diff] [blame] | 100 | font-family: avantgarde, sans-serif; } |
Fred Drake | eacc4fc | 2000-08-30 15:02:13 +0000 | [diff] [blame] | 101 | |
Fred Drake | 1ab1f71 | 2001-06-23 04:53:43 +0000 | [diff] [blame] | 102 | .refcount-info { font-style: italic; } |
Fred Drake | bdcc96c | 2000-03-29 22:41:52 +0000 | [diff] [blame] | 103 | .refcount-info .value { font-weight: bold; |
Fred Drake | 1ab1f71 | 2001-06-23 04:53:43 +0000 | [diff] [blame] | 104 | color: #006600; } |
Fred Drake | 01bc01c | 1999-03-02 15:58:20 +0000 | [diff] [blame] | 105 | |
| 106 | /* |
Fred Drake | 7c6a90d | 1999-03-25 22:22:45 +0000 | [diff] [blame] | 107 | * Some decoration for the "See also:" blocks, in part inspired by some of |
| 108 | * the styling on Lars Marius Garshol's XSA pages. |
| 109 | * (The blue in the navigation bars is #99CCFF.) |
| 110 | */ |
Fred Drake | 329796d | 2000-09-28 20:41:16 +0000 | [diff] [blame] | 111 | .seealso { background-color: #fffaf0; |
Fred Drake | 7c6a90d | 1999-03-25 22:22:45 +0000 | [diff] [blame] | 112 | border: thin solid black; |
Fred Drake | 1ab1f71 | 2001-06-23 04:53:43 +0000 | [diff] [blame] | 113 | padding: 4pt; } |
Fred Drake | 7c6a90d | 1999-03-25 22:22:45 +0000 | [diff] [blame] | 114 | |
Fred Drake | 1ab1f71 | 2001-06-23 04:53:43 +0000 | [diff] [blame] | 115 | .seealso .heading { font-size: 110%; } |
Fred Drake | 7c6a90d | 1999-03-25 22:22:45 +0000 | [diff] [blame] | 116 | |
| 117 | /* |
Fred Drake | 01bc01c | 1999-03-02 15:58:20 +0000 | [diff] [blame] | 118 | * Class 'availability' is used for module availability statements at |
Fred Drake | 329796d | 2000-09-28 20:41:16 +0000 | [diff] [blame] | 119 | * the top of modules. |
Fred Drake | 01bc01c | 1999-03-02 15:58:20 +0000 | [diff] [blame] | 120 | */ |
Fred Drake | 1ab1f71 | 2001-06-23 04:53:43 +0000 | [diff] [blame] | 121 | .availability .platform { font-weight: bold; } |