hgbook

annotate ja/hgbook.css @ 868:f817270b9234

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