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 */ 20small.xtiny { font-size : xx-small; } 21small.tiny { font-size : x-small; } 22small.scriptsize { font-size : smaller; } 23small.footnotesize { font-size : small; } 24big.xlarge { font-size : large; } 25big.xxlarge { font-size : x-large; } 26big.huge { font-size : larger; } 27big.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 38body { color: #000000; 39 background-color: #ffffff; } 40 41a:link:active { color: #ff0000; } 42a:link:hover { background-color: #bbeeff; } 43a:visited:hover { background-color: #bbeeff; } 44a:visited { color: #551a8b; } 45a:link { color: #0000bb; } 46 47h1, h2, h3, h4, h5, h6 { font-family: avantgarde, sans-serif; 48 font-weight: bold; } 49h1 { font-size: 180%; } 50h2 { font-size: 150%; } 51h3, 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 */ 65h1>br, h2>br, h3>br, 66h4>br, h5>br, h6>br { display: none; } 67 68code, tt { font-family: "lucida typewriter", lucidatypewriter, 69 monospace; } 70var { 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 83div.warning { background-color: #fffaf0; 84 border: thin solid black; 85 padding: 1em; 86 margin-left: 2em; 87 margin-right: 2em; } 88 89div.warning .label { font-family: sans-serif; 90 font-size: 110%; 91 margin-right: 0.5em; } 92 93div.note { background-color: #fffaf0; 94 border: thin solid black; 95 padding: 1em; 96 margin-left: 2em; 97 margin-right: 2em; } 98 99div.note .label { margin-right: 0.5em; 100 font-family: sans-serif; } 101 102address { 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 } 244