hgbook

annotate stylesheets/hgbook.css @ 649:d13c7c706a58

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