| 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 */
|
|---|
| 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 }
|
|---|
| 12 |
|
|---|
| 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 | */
|
|---|
| 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; }
|
|---|
| 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 |
|
|---|
| 38 | body { color: #000000;
|
|---|
| 39 | background-color: #ffffff; }
|
|---|
| 40 |
|
|---|
| 41 | a:link:active { color: #ff0000; }
|
|---|
| 42 | a:link:hover { background-color: #bbeeff; }
|
|---|
| 43 | a:visited:hover { background-color: #bbeeff; }
|
|---|
| 44 | a:visited { color: #551a8b; }
|
|---|
| 45 | a:link { color: #0000bb; }
|
|---|
| 46 |
|
|---|
| 47 | h1, h2, h3, h4, h5, h6 { font-family: avantgarde, sans-serif;
|
|---|
| 48 | font-weight: bold; }
|
|---|
| 49 | h1 { font-size: 180%; }
|
|---|
| 50 | h2 { font-size: 150%; }
|
|---|
| 51 | h3, h4 { font-size: 120%; }
|
|---|
| 52 |
|
|---|
| 53 | /* These are section titles used in navigation links, so make sure we
|
|---|
| 54 | * match the section header font here, even it not the weight.
|
|---|
| 55 | */
|
|---|
| 56 | .sectref { font-family: avantgarde, sans-serif; }
|
|---|
| 57 | /* And the label before the titles in navigation: */
|
|---|
| 58 | .navlabel { font-size: 85%; }
|
|---|
| 59 |
|
|---|
| 60 |
|
|---|
| 61 | /* LaTeX2HTML insists on inserting <br> elements into headers which
|
|---|
| 62 | * are marked with \label. This little bit of CSS magic ensures that
|
|---|
| 63 | * these elements don't cause spurious whitespace to be added.
|
|---|
| 64 | */
|
|---|
| 65 | h1>br, h2>br, h3>br,
|
|---|
| 66 | h4>br, h5>br, h6>br { display: none; }
|
|---|
| 67 |
|
|---|
| 68 | code, tt { font-family: "lucida typewriter", lucidatypewriter,
|
|---|
| 69 | monospace; }
|
|---|
| 70 | var { font-family: times, serif;
|
|---|
| 71 | font-style: italic;
|
|---|
| 72 | font-weight: normal; }
|
|---|
| 73 |
|
|---|
| 74 | .Unix { font-variant: small-caps; }
|
|---|
| 75 |
|
|---|
| 76 | .typelabel { font-family: lucida, sans-serif; }
|
|---|
| 77 |
|
|---|
| 78 | .navigation td { background-color: #99ccff;
|
|---|
| 79 | font-weight: bold;
|
|---|
| 80 | font-family: avantgarde, sans-serif;
|
|---|
| 81 | font-size: 110%; }
|
|---|
| 82 |
|
|---|
| 83 | div.warning { background-color: #fffaf0;
|
|---|
| 84 | border: thin solid black;
|
|---|
| 85 | padding: 1em;
|
|---|
| 86 | margin-left: 2em;
|
|---|
| 87 | margin-right: 2em; }
|
|---|
| 88 |
|
|---|
| 89 | div.warning .label { font-family: sans-serif;
|
|---|
| 90 | font-size: 110%;
|
|---|
| 91 | margin-right: 0.5em; }
|
|---|
| 92 |
|
|---|
| 93 | div.note { background-color: #fffaf0;
|
|---|
| 94 | border: thin solid black;
|
|---|
| 95 | padding: 1em;
|
|---|
| 96 | margin-left: 2em;
|
|---|
| 97 | margin-right: 2em; }
|
|---|
| 98 |
|
|---|
| 99 | div.note .label { margin-right: 0.5em;
|
|---|
| 100 | font-family: sans-serif; }
|
|---|
| 101 |
|
|---|
| 102 | address { font-size: 80%; }
|
|---|
| 103 | .release-info { font-style: italic;
|
|---|
| 104 | font-size: 80%; }
|
|---|
| 105 |
|
|---|
| 106 | .titlegraphic { vertical-align: top; }
|
|---|
| 107 |
|
|---|
| 108 | .verbatim pre { color: #00008b;
|
|---|
| 109 | font-family: "lucida typewriter", lucidatypewriter,
|
|---|
| 110 | monospace;
|
|---|
| 111 | font-size: 90%; }
|
|---|
| 112 | .verbatim { margin-left: 2em; }
|
|---|
| 113 | .verbatim .footer { padding: 0.05in;
|
|---|
| 114 | font-size: 85%;
|
|---|
| 115 | background-color: #99ccff;
|
|---|
| 116 | margin-right: 0.5in; }
|
|---|
| 117 |
|
|---|
| 118 | .grammar { background-color: #99ccff;
|
|---|
| 119 | margin-right: 0.5in;
|
|---|
| 120 | padding: 0.05in; }
|
|---|
| 121 | .grammar-footer { padding: 0.05in;
|
|---|
| 122 | font-size: 85%; }
|
|---|
| 123 | .grammartoken { font-family: "lucida typewriter", lucidatypewriter,
|
|---|
| 124 | monospace; }
|
|---|
| 125 |
|
|---|
| 126 | .productions { background-color: #bbeeff; }
|
|---|
| 127 | .productions a:active { color: #ff0000; }
|
|---|
| 128 | .productions a:link:hover { background-color: #99ccff; }
|
|---|
| 129 | .productions a:visited:hover { background-color: #99ccff; }
|
|---|
| 130 | .productions a:visited { color: #551a8b; }
|
|---|
| 131 | .productions a:link { color: #0000bb; }
|
|---|
| 132 | .productions table { vertical-align: baseline;
|
|---|
| 133 | empty-cells: show; }
|
|---|
| 134 | .productions > table td,
|
|---|
| 135 | .productions > table th { padding: 2px; }
|
|---|
| 136 | .productions > table td:first-child,
|
|---|
| 137 | .productions > table td:last-child {
|
|---|
| 138 | font-family: "lucida typewriter",
|
|---|
| 139 | lucidatypewriter,
|
|---|
| 140 | monospace;
|
|---|
| 141 | }
|
|---|
| 142 | /* same as the second selector above, but expressed differently for Opera */
|
|---|
| 143 | .productions > table td:first-child + td + td {
|
|---|
| 144 | font-family: "lucida typewriter",
|
|---|
| 145 | lucidatypewriter,
|
|---|
| 146 | monospace;
|
|---|
| 147 | vertical-align: baseline;
|
|---|
| 148 | }
|
|---|
| 149 | .productions > table td:first-child + td {
|
|---|
| 150 | padding-left: 1em;
|
|---|
| 151 | padding-right: 1em;
|
|---|
| 152 | }
|
|---|
| 153 | .productions > table tr { vertical-align: baseline; }
|
|---|
| 154 |
|
|---|
| 155 | .email { font-family: avantgarde, sans-serif; }
|
|---|
| 156 | .mailheader { font-family: avantgarde, sans-serif; }
|
|---|
| 157 | .mimetype { font-family: avantgarde, sans-serif; }
|
|---|
| 158 | .newsgroup { font-family: avantgarde, sans-serif; }
|
|---|
| 159 | .url { font-family: avantgarde, sans-serif; }
|
|---|
| 160 | .file { font-family: avantgarde, sans-serif; }
|
|---|
| 161 | .guilabel { font-family: avantgarde, sans-serif; }
|
|---|
| 162 |
|
|---|
| 163 | .realtable { border-collapse: collapse;
|
|---|
| 164 | border-color: black;
|
|---|
| 165 | border-style: solid;
|
|---|
| 166 | border-width: 0px 0px 2px 0px;
|
|---|
| 167 | empty-cells: show;
|
|---|
| 168 | margin-left: auto;
|
|---|
| 169 | margin-right: auto;
|
|---|
| 170 | padding-left: 0.4em;
|
|---|
| 171 | padding-right: 0.4em;
|
|---|
| 172 | }
|
|---|
| 173 | .realtable tbody { vertical-align: baseline; }
|
|---|
| 174 | .realtable tfoot { display: table-footer-group; }
|
|---|
| 175 | .realtable thead { background-color: #99ccff;
|
|---|
| 176 | border-width: 0px 0px 2px 1px;
|
|---|
| 177 | display: table-header-group;
|
|---|
| 178 | font-family: avantgarde, sans-serif;
|
|---|
| 179 | font-weight: bold;
|
|---|
| 180 | vertical-align: baseline;
|
|---|
| 181 | }
|
|---|
| 182 | .realtable thead :first-child {
|
|---|
| 183 | border-width: 0px 0px 2px 0px;
|
|---|
| 184 | }
|
|---|
| 185 | .realtable thead th { border-width: 0px 0px 2px 1px }
|
|---|
| 186 | .realtable td,
|
|---|
| 187 | .realtable th { border-color: black;
|
|---|
| 188 | border-style: solid;
|
|---|
| 189 | border-width: 0px 0px 1px 1px;
|
|---|
| 190 | padding-left: 0.4em;
|
|---|
| 191 | padding-right: 0.4em;
|
|---|
| 192 | }
|
|---|
| 193 | .realtable td:first-child,
|
|---|
| 194 | .realtable th:first-child {
|
|---|
| 195 | border-left-width: 0px;
|
|---|
| 196 | vertical-align: baseline;
|
|---|
| 197 | }
|
|---|
| 198 | .center { text-align: center; }
|
|---|
| 199 | .left { text-align: left; }
|
|---|
| 200 | .right { text-align: right; }
|
|---|
| 201 |
|
|---|
| 202 | .refcount-info { font-style: italic; }
|
|---|
| 203 | .refcount-info .value { font-weight: bold;
|
|---|
| 204 | color: #006600; }
|
|---|
| 205 |
|
|---|
| 206 | /*
|
|---|
| 207 | * Some decoration for the "See also:" blocks, in part inspired by some of
|
|---|
| 208 | * the styling on Lars Marius Garshol's XSA pages.
|
|---|
| 209 | * (The blue in the navigation bars is #99CCFF.)
|
|---|
| 210 | */
|
|---|
| 211 | .seealso { background-color: #fffaf0;
|
|---|
| 212 | border: thin solid black;
|
|---|
| 213 | padding: 0pt 1em 4pt 1em; }
|
|---|
| 214 |
|
|---|
| 215 | .seealso > .heading { font-size: 110%;
|
|---|
| 216 | font-weight: bold; }
|
|---|
| 217 |
|
|---|
| 218 | /*
|
|---|
| 219 | * Class 'availability' is used for module availability statements at
|
|---|
| 220 | * the top of modules.
|
|---|
| 221 | */
|
|---|
| 222 | .availability .platform { font-weight: bold; }
|
|---|
| 223 |
|
|---|
| 224 |
|
|---|
| 225 | /*
|
|---|
| 226 | * Additional styles for the distutils package.
|
|---|
| 227 | */
|
|---|
| 228 | .du-command { font-family: monospace; }
|
|---|
| 229 | .du-option { font-family: avantgarde, sans-serif; }
|
|---|
| 230 | .du-filevar { font-family: avantgarde, sans-serif;
|
|---|
| 231 | font-style: italic; }
|
|---|
| 232 | .du-xxx:before { content: "** ";
|
|---|
| 233 | font-weight: bold; }
|
|---|
| 234 | .du-xxx:after { content: " **";
|
|---|
| 235 | font-weight: bold; }
|
|---|
| 236 |
|
|---|
| 237 |
|
|---|
| 238 | /*
|
|---|
| 239 | * Some specialization for printed output.
|
|---|
| 240 | */
|
|---|
| 241 | @media print {
|
|---|
| 242 | .online-navigation { display: none; }
|
|---|
| 243 | }
|
|---|
