hgbook

annotate en/hgbook.css @ 241:09d5897ad935

find changesets by author, revision, files, or words in the commit message
Fix a few more errors in the index.
author Bryan O'Sullivan <bos@serpentine.com>
date Sun May 27 09:57:17 2007 -0700 (2007-05-27)
parents 44f233544e9e
children
rev   line source
bos@149 1 body {
bos@149 2 font: 12px/1.5 Verdana, sans-serif;
bos@149 3 padding-top: 50px;
bos@149 4 padding-left: 80px;
bos@149 5 padding-right: 80px;
bos@149 6 padding-bottom: 90px;
bos@149 7 }
bos@149 8 .ptmr7t- {
bos@149 9 font-family: monospace;
bos@149 10 }
bos@149 11 .ptmr7t-x-x-172 {
bos@149 12 font-size: 172%;
bos@149 13 font-family: monospace;
bos@149 14 }
bos@149 15 .ptmr7t-x-x-120 {
bos@149 16 font-size: 120%;
bos@149 17 }
bos@149 18 .zpzccmry-x-x-120 {
bos@149 19 font-size: 120%;
bos@149 20 font-weight: bold;
bos@149 21 font-style: italic;
bos@149 22 }
bos@149 23 .zpzccmry-x-x-120 {
bos@149 24 font-weight: bold;
bos@149 25 font-style: italic;
bos@149 26 }
bos@149 27 .pcrr7tn- {
bos@149 28 font-family: monospace;
bos@149 29 }
bos@149 30 .ptmri7t- {
bos@149 31 font-style: italic;
bos@149 32 }
bos@149 33 .ptmr7t-x-x-50 {
bos@149 34 font-size: 50%;
bos@149 35 font-family: monospace;
bos@149 36 }
bos@149 37 .ptmb7t- {
bos@149 38 font-weight: bold;
bos@149 39 }
bos@149 40 .zptmcmr- {
bos@149 41 font-style: italic;
bos@149 42 }
bos@149 43 .zptmcmrm- {
bos@149 44 font-style: italic;
bos@149 45 }
bos@149 46 .zpzccmry- {
bos@149 47 font-weight: bold;
bos@149 48 font-style: italic;
bos@149 49 }
bos@149 50 .pcrb7t- {
bos@149 51 font-family: monospace;
bos@149 52 font-weight: bold;
bos@149 53 }
bos@149 54 .pcrro7t- {
bos@149 55 font-family: monospace;
bos@149 56 font-style: oblique;
bos@149 57 }
bos@149 58 p.noindent {
bos@149 59 text-indent: 0em;
bos@149 60 margin: 0em;
bos@149 61 }
bos@149 62 p.nopar {
bos@149 63 text-indent: 0em;
bos@149 64 }
bos@149 65 p.indent {
bos@149 66 text-indent: 1.5em;
bos@149 67 margin: 0em;
bos@149 68 }
bos@149 69 a img {
bos@149 70 border-top: 0;
bos@149 71 border-left: 0;
bos@149 72 border-right: 0;
bos@149 73 }
bos@149 74 center {
bos@149 75 margin-top: 1em;
bos@149 76 margin-bottom: 1em;
bos@149 77 }
bos@149 78 td center {
bos@149 79 margin-top: 0em;
bos@149 80 margin-bottom: 0em;
bos@149 81 }
bos@149 82 .Canvas {
bos@149 83 position: relative;
bos@149 84 }
bos@149 85 img.math {
bos@149 86 vertical-align: middle;
bos@149 87 }
bos@149 88 li p.indent {
bos@149 89 text-indent: 0em;
bos@149 90 }
bos@149 91 .enumerate1 {
bos@149 92 list-style-type: decimal;
bos@149 93 }
bos@149 94 .enumerate2 {
bos@149 95 list-style-type: lower-alpha;
bos@149 96 }
bos@149 97 .enumerate3 {
bos@149 98 list-style-type: lower-roman;
bos@149 99 }
bos@149 100 .enumerate4 {
bos@149 101 list-style-type: upper-alpha;
bos@149 102 }
bos@149 103 div.newtheorem {
bos@149 104 margin-bottom: 2em;
bos@149 105 margin-top: 2em;
bos@149 106 }
bos@149 107 .obeylines-h,.obeylines-v {
bos@149 108 white-space: nowrap;
bos@149 109 }
bos@149 110 div.obeylines-v p {
bos@149 111 margin-top: 0;
bos@149 112 margin-bottom: 0;
bos@149 113 }
bos@149 114 .overline {
bos@149 115 text-decoration: overline;
bos@149 116 }
bos@149 117 .overline img {
bos@149 118 border-top: 1px solid black;
bos@149 119 }
bos@149 120 td.displaylines {
bos@149 121 text-align: center;
bos@149 122 white-space: nowrap;
bos@149 123 }
bos@149 124 .centerline {
bos@149 125 text-align: center;
bos@149 126 }
bos@149 127 .rightline {
bos@149 128 text-align: right;
bos@149 129 }
bos@149 130 div.verbatim {
bos@149 131 font-family: monospace;
bos@149 132 white-space: nowrap;
bos@149 133 }
bos@149 134 table.verbatim {
bos@149 135 width: 100%;
bos@149 136 }
bos@149 137 .fbox {
bos@149 138 background: url(note.png) no-repeat #cec;
bos@152 139 padding-left: 65px;
bos@149 140 padding-top: 1em;
bos@149 141 padding-bottom: 1em;
bos@149 142 padding-right: 1em;
bos@149 143 text-indent: 0pt;
bos@149 144 border: dotted black 1px;
bos@149 145 }
bos@149 146 div.center div.fbox {
bos@149 147 text-align: center;
bos@149 148 clear: both;
bos@149 149 padding-left: 3.0pt;
bos@149 150 padding-right: 3.0pt;
bos@149 151 text-indent: 0pt;
bos@149 152 border: solid black 0.4pt;
bos@149 153 }
bos@149 154 table.minipage {
bos@149 155 width: 100%;
bos@149 156 }
bos@149 157 div.center, div.center div.center {
bos@149 158 text-align: center;
bos@149 159 margin-left: 1em;
bos@149 160 margin-right: 1em;
bos@149 161 }
bos@149 162 div.center div {
bos@149 163 text-align: left;
bos@149 164 }
bos@149 165 div.flushright, div.flushright div.flushright {
bos@149 166 text-align: right;
bos@149 167 }
bos@149 168 div.flushright div {
bos@149 169 text-align: left;
bos@149 170 }
bos@149 171 div.flushleft {
bos@149 172 text-align: left;
bos@149 173 }
bos@149 174 .underline {
bos@149 175 text-decoration: underline;
bos@149 176 }
bos@149 177 .underline img {
bos@149 178 border-bottom: 1px solid black;
bos@149 179 margin-bottom: 1pt;
bos@149 180 }
bos@149 181 .framebox-c, .framebox-l, .framebox-r {
bos@149 182 padding-left: 3.0pt;
bos@149 183 padding-right: 3.0pt;
bos@149 184 text-indent: 0pt;
bos@149 185 border: solid black 0.4pt;
bos@149 186 }
bos@149 187 .framebox-c {
bos@149 188 text-align: center;
bos@149 189 }
bos@149 190 .framebox-l {
bos@149 191 text-align: left;
bos@149 192 }
bos@149 193 .framebox-r {
bos@149 194 text-align: right;
bos@149 195 }
bos@149 196 span.thank-mark {
bos@149 197 vertical-align: super
bos@149 198 }
bos@149 199 span.footnote-mark sup.textsuperscript, span.footnote-mark a sup.textsuperscript {
bos@149 200 font-size: 80%;
bos@149 201 }
bos@149 202 div.tabular, div.center div.tabular {
bos@149 203 text-align: center;
bos@149 204 margin-top: 0.5em;
bos@149 205 margin-bottom: 0.5em;
bos@149 206 }
bos@149 207 table.tabular td p {
bos@149 208 margin-top: 0em;
bos@149 209 }
bos@149 210 table.tabular {
bos@149 211 margin-left: auto;
bos@149 212 margin-right: auto;
bos@149 213 }
bos@149 214 div.td00 {
bos@149 215 margin-left: 0pt;
bos@149 216 margin-right: 0pt;
bos@149 217 }
bos@149 218 div.td01 {
bos@149 219 margin-left: 0pt;
bos@149 220 margin-right: 5pt;
bos@149 221 }
bos@149 222 div.td10 {
bos@149 223 margin-left: 5pt;
bos@149 224 margin-right: 0pt;
bos@149 225 }
bos@149 226 div.td11 {
bos@149 227 margin-left: 5pt;
bos@149 228 margin-right: 5pt;
bos@149 229 }
bos@149 230 table[rules] {
bos@149 231 border-left: solid black 0.4pt;
bos@149 232 border-right: solid black 0.4pt;
bos@149 233 }
bos@149 234 td.td00 {
bos@149 235 padding-left: 0pt;
bos@149 236 padding-right: 0pt;
bos@149 237 }
bos@149 238 td.td01 {
bos@149 239 padding-left: 0pt;
bos@149 240 padding-right: 5pt;
bos@149 241 }
bos@149 242 td.td10 {
bos@149 243 padding-left: 5pt;
bos@149 244 padding-right: 0pt;
bos@149 245 }
bos@149 246 td.td11 {
bos@149 247 padding-left: 5pt;
bos@149 248 padding-right: 5pt;
bos@149 249 }
bos@149 250 table[rules] {
bos@149 251 border-left: solid black 0.4pt;
bos@149 252 border-right: solid black 0.4pt;
bos@149 253 }
bos@149 254 .hline hr, .cline hr {
bos@149 255 height : 1px;
bos@149 256 margin: 0px;
bos@149 257 }
bos@149 258 .tabbing-right {
bos@149 259 text-align: right;
bos@149 260 }
bos@149 261 span.TEX {
bos@149 262 letter-spacing: -0.125em;
bos@149 263 }
bos@149 264 span.TEX span.E {
bos@149 265 position: relative;top: 0.5ex;left: -0.0417em;
bos@149 266 }
bos@149 267 a span.TEX span.E {
bos@149 268 text-decoration: none;
bos@149 269 }
bos@149 270 span.LATEX span.A {
bos@149 271 position: relative;
bos@149 272 top: -0.5ex;
bos@149 273 left: -0.4em;
bos@149 274 font-size: 85%;
bos@149 275 }
bos@149 276 span.LATEX span.TEX {
bos@149 277 position: relative;
bos@149 278 left: -0.4em;
bos@149 279 }
bos@149 280 div.float img, div.float .caption {
bos@149 281 text-align: center;
bos@149 282 }
bos@149 283 div.figure img, div.figure .caption {
bos@149 284 text-align: center;
bos@149 285 }
bos@149 286 .marginpar {
bos@149 287 width: 20%;
bos@149 288 float: right;
bos@149 289 text-align: left;
bos@149 290 margin-left: auto;
bos@149 291 margin-top: 0.5em;
bos@149 292 font-size: 85%;
bos@149 293 text-decoration: underline;
bos@149 294 }
bos@149 295 .marginpar p {
bos@149 296 margin-top: 0.4em;
bos@149 297 margin-bottom: 0.4em;
bos@149 298 }
bos@149 299 table.equation {
bos@149 300 width: 100%;
bos@149 301 }
bos@149 302 .equation td {
bos@149 303 text-align: center;
bos@149 304 }
bos@149 305 td.equation {
bos@149 306 margin-top: 1em;
bos@149 307 margin-bottom: 1em;
bos@149 308 }
bos@149 309 td.equation-label {
bos@149 310 width: 5%;
bos@149 311 text-align: center;
bos@149 312 }
bos@149 313 td.eqnarray4 {
bos@149 314 width: 5%;
bos@149 315 white-space: normal;
bos@149 316 }
bos@149 317 td.eqnarray2 {
bos@149 318 width: 5%;
bos@149 319 }
bos@149 320 table.eqnarray-star, table.eqnarray {
bos@149 321 width: 100%;
bos@149 322 }
bos@149 323 div.eqnarray {
bos@149 324 text-align: center;
bos@149 325 }
bos@149 326 div.array {
bos@149 327 text-align: center;
bos@149 328 }
bos@149 329 div.pmatrix {
bos@149 330 text-align: center;
bos@149 331 }
bos@149 332 table.pmatrix {
bos@149 333 width: 100%;
bos@149 334 }
bos@149 335 span.pmatrix img {
bos@149 336 vertical-align: middle;
bos@149 337 }
bos@149 338 div.pmatrix {
bos@149 339 text-align: center;
bos@149 340 }
bos@149 341 table.pmatrix {
bos@149 342 width: 100%;
bos@149 343 }
bos@149 344 img.cdots {
bos@149 345 vertical-align: middle;
bos@149 346 }
bos@149 347 .partToc a, .partToc, .likepartToc a, .likepartToc {
bos@149 348 line-height: 200%;
bos@149 349 font-weight: bold;
bos@149 350 font-size: 110%;
bos@149 351 }
bos@149 352 .chapterToc a, .chapterToc, .likechapterToc a, .likechapterToc, .appendixToc a, .appendixToc {
bos@149 353 line-height: 200%;
bos@149 354 font-weight: bold;
bos@149 355 }
bos@149 356 .caption td.id {
bos@149 357 font-weight: bold;
bos@149 358 white-space: nowrap;
bos@149 359 }
bos@149 360 table.caption {
bos@149 361 text-align: center;
bos@149 362 }
bos@149 363 h1.partHead {
bos@149 364 text-align: center;
bos@149 365 }
bos@149 366 p.bibitem {
bos@149 367 text-indent: -2em;
bos@149 368 margin-left: 2em;
bos@149 369 margin-top: 0.6em;
bos@149 370 margin-bottom: 0.6em;
bos@149 371 }
bos@149 372 p.bibitem-p {
bos@149 373 text-indent: 0em;
bos@149 374 margin-left: 2em;
bos@149 375 margin-top: 0.6em;
bos@149 376 margin-bottom: 0.6em;
bos@149 377 }
bos@149 378 .paragraphHead, .likeparagraphHead {
bos@149 379 margin-top: 2em;
bos@149 380 font-weight: bold;
bos@149 381 }
bos@149 382 .subparagraphHead, .likesubparagraphHead {
bos@149 383 font-weight: bold;
bos@149 384 }
bos@149 385 .quote {
bos@149 386 margin-bottom: 0.25em;
bos@149 387 margin-top: 0.25em;
bos@149 388 margin-left: 1em;
bos@149 389 margin-right: 1em;
bos@149 390 text-align: justify;
bos@149 391 }
bos@149 392 .verse {
bos@149 393 white-space: nowrap;
bos@149 394 margin-left: 2em}
bos@149 395 div.maketitle {
bos@149 396 text-align: center;
bos@149 397 }
bos@149 398 h2.titleHead {
bos@149 399 text-align: center;
bos@149 400 }
bos@149 401 div.maketitle {
bos@149 402 margin-bottom: 2em;
bos@149 403 }
bos@149 404 div.author, div.date {
bos@149 405 text-align: center;
bos@149 406 }
bos@149 407 div.thanks {
bos@149 408 text-align: left;
bos@149 409 margin-left: 10%;
bos@149 410 font-size: 85%;
bos@149 411 font-style: italic;
bos@149 412 }
bos@149 413 div.author {
bos@149 414 white-space: nowrap;
bos@149 415 }
bos@149 416 .quotation {
bos@149 417 margin-bottom: 0.25em;
bos@149 418 margin-top: 0.25em;
bos@149 419 margin-left: 1em;
bos@149 420 }
bos@149 421 h1.partHead {
bos@149 422 text-align: center;
bos@149 423 }
bos@149 424 img.graphics {
bos@149 425 margin-left: 10%;
bos@149 426 }
bos@149 427 .figure {
bos@149 428 width: 100%;
bos@149 429 }
bos@149 430 P.fancyvrb {
bos@149 431 white-space: nowrap;
bos@149 432 }
bos@149 433 hr {
bos@149 434 border: 0;
bos@149 435 height: 1px;
bos@149 436 }
bos@149 437 div#fancyvrb {
bos@149 438 white-space: nowrap;
bos@149 439 background: #eee;
bos@149 440 padding: 1em;
bos@149 441 }