hgbook

annotate en/hgbook.css @ 152:44f233544e9e

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