1.1 --- a/stylesheets/hgbook.css	Thu Mar 12 17:43:30 2009 +0800
     1.2 +++ b/stylesheets/hgbook.css	Tue Mar 31 11:04:18 2009 +0800
     1.3 @@ -1,441 +1,293 @@
     1.4 -body {
     1.5 -  font: 12px/1.5 Verdana, sans-serif;
     1.6 -  padding-top: 50px;
     1.7 -  padding-left: 80px;
     1.8 -  padding-right: 80px;
     1.9 -  padding-bottom: 90px;
    1.10 -}
    1.11 -.ptmr7t- {
    1.12 -  font-family: monospace;
    1.13 -}
    1.14 -.ptmr7t-x-x-172 {
    1.15 -  font-size: 172%;
    1.16 -  font-family: monospace;
    1.17 -}
    1.18 -.ptmr7t-x-x-120 {
    1.19 -  font-size: 120%;
    1.20 -}
    1.21 -.zpzccmry-x-x-120 {
    1.22 -  font-size: 120%;
    1.23 -  font-weight: bold;
    1.24 -  font-style: italic;
    1.25 -}
    1.26 -.zpzccmry-x-x-120 {
    1.27 -  font-weight: bold;
    1.28 -  font-style: italic;
    1.29 -}
    1.30 -.pcrr7tn- {
    1.31 -  font-family: monospace;
    1.32 -}
    1.33 -.ptmri7t- {
    1.34 -  font-style: italic;
    1.35 -}
    1.36 -.ptmr7t-x-x-50 {
    1.37 -  font-size: 50%;
    1.38 -  font-family: monospace;
    1.39 -}
    1.40 -.ptmb7t- {
    1.41 -  font-weight: bold;
    1.42 -}
    1.43 -.zptmcmr- {
    1.44 -  font-style: italic;
    1.45 -}
    1.46 -.zptmcmrm- {
    1.47 -  font-style: italic;
    1.48 -}
    1.49 -.zpzccmry- {
    1.50 -  font-weight: bold;
    1.51 -  font-style: italic;
    1.52 -}
    1.53 -.pcrb7t- {
    1.54 -  font-family: monospace;
    1.55 -  font-weight: bold;
    1.56 -}
    1.57 -.pcrro7t- {
    1.58 -  font-family: monospace;
    1.59 -  font-style: oblique;
    1.60 -}
    1.61 -p.noindent {
    1.62 -  text-indent: 0em;
    1.63 -  margin: 0em;
    1.64 -}
    1.65 -p.nopar {
    1.66 -  text-indent: 0em;
    1.67 -}
    1.68 -p.indent {
    1.69 -  text-indent: 1.5em;
    1.70 -  margin: 0em;
    1.71 -}
    1.72 -a img {
    1.73 -  border-top: 0;
    1.74 -  border-left: 0;
    1.75 -  border-right: 0;
    1.76 -}
    1.77 -center {
    1.78 -  margin-top: 1em;
    1.79 -  margin-bottom: 1em;
    1.80 -}
    1.81 -td center {
    1.82 -  margin-top: 0em;
    1.83 -  margin-bottom: 0em;
    1.84 -}
    1.85 -.Canvas {
    1.86 -  position: relative;
    1.87 -}
    1.88 -img.math {
    1.89 -  vertical-align: middle;
    1.90 -}
    1.91 -li p.indent {
    1.92 -  text-indent: 0em;
    1.93 -}
    1.94 -.enumerate1 {
    1.95 -  list-style-type: decimal;
    1.96 -}
    1.97 -.enumerate2 {
    1.98 -  list-style-type: lower-alpha;
    1.99 -}
   1.100 -.enumerate3 {
   1.101 -  list-style-type: lower-roman;
   1.102 -}
   1.103 -.enumerate4 {
   1.104 -  list-style-type: upper-alpha;
   1.105 -}
   1.106 -div.newtheorem {
   1.107 -  margin-bottom: 2em;
   1.108 -  margin-top: 2em;
   1.109 -}
   1.110 -.obeylines-h,.obeylines-v {
   1.111 -  white-space: nowrap;
   1.112 -}
   1.113 -div.obeylines-v p {
   1.114 -  margin-top: 0;
   1.115 -  margin-bottom: 0;
   1.116 -}
   1.117 -.overline {
   1.118 -  text-decoration: overline;
   1.119 -}
   1.120 -.overline img {
   1.121 -  border-top: 1px solid black;
   1.122 -}
   1.123 -td.displaylines {
   1.124 -  text-align: center;
   1.125 -  white-space: nowrap;
   1.126 -}
   1.127 -.centerline {
   1.128 -  text-align: center;
   1.129 -}
   1.130 -.rightline {
   1.131 -  text-align: right;
   1.132 -}
   1.133 -div.verbatim {
   1.134 -  font-family: monospace;
   1.135 -  white-space: nowrap;
   1.136 -}
   1.137 -table.verbatim {
   1.138 -  width: 100%;
   1.139 -}
   1.140 -.fbox {
   1.141 -  background: url(note.png) no-repeat #cec;
   1.142 -  padding-left: 65px;
   1.143 -  padding-top: 1em;
   1.144 -  padding-bottom: 1em;
   1.145 -  padding-right: 1em;
   1.146 -  text-indent: 0pt;
   1.147 -  border: dotted black 1px;
   1.148 -}
   1.149 -div.center div.fbox {
   1.150 -  text-align: center;
   1.151 -  clear: both;
   1.152 -  padding-left: 3.0pt;
   1.153 -  padding-right: 3.0pt;
   1.154 -  text-indent: 0pt;
   1.155 -  border: solid black 0.4pt;
   1.156 -}
   1.157 -table.minipage {
   1.158 -  width: 100%;
   1.159 -}
   1.160 -div.center, div.center div.center {
   1.161 -  text-align: center;
   1.162 -  margin-left: 1em;
   1.163 -  margin-right: 1em;
   1.164 -}
   1.165 -div.center div {
   1.166 -  text-align: left;
   1.167 -}
   1.168 -div.flushright, div.flushright div.flushright {
   1.169 -  text-align: right;
   1.170 -}
   1.171 -div.flushright div {
   1.172 -  text-align: left;
   1.173 -}
   1.174 -div.flushleft {
   1.175 -  text-align: left;
   1.176 -}
   1.177 -.underline {
   1.178 -  text-decoration: underline;
   1.179 -}
   1.180 -.underline img {
   1.181 -  border-bottom: 1px solid black;
   1.182 -  margin-bottom: 1pt;
   1.183 -}
   1.184 -.framebox-c, .framebox-l, .framebox-r {
   1.185 -  padding-left: 3.0pt;
   1.186 -  padding-right: 3.0pt;
   1.187 -  text-indent: 0pt;
   1.188 -  border: solid black 0.4pt;
   1.189 -}
   1.190 -.framebox-c {
   1.191 -  text-align: center;
   1.192 -}
   1.193 -.framebox-l {
   1.194 -  text-align: left;
   1.195 -}
   1.196 -.framebox-r {
   1.197 -  text-align: right;
   1.198 -}
   1.199 -span.thank-mark {
   1.200 -  vertical-align: super
   1.201 -}
   1.202 -span.footnote-mark sup.textsuperscript, span.footnote-mark a sup.textsuperscript {
   1.203 -  font-size: 80%;
   1.204 -}
   1.205 -div.tabular, div.center div.tabular {
   1.206 -  text-align: center;
   1.207 -  margin-top: 0.5em;
   1.208 -  margin-bottom: 0.5em;
   1.209 -}
   1.210 -table.tabular td p {
   1.211 -  margin-top: 0em;
   1.212 -}
   1.213 -table.tabular {
   1.214 -  margin-left: auto;
   1.215 -  margin-right: auto;
   1.216 -}
   1.217 -div.td00 {
   1.218 -  margin-left: 0pt;
   1.219 -  margin-right: 0pt;
   1.220 -}
   1.221 -div.td01 {
   1.222 -  margin-left: 0pt;
   1.223 -  margin-right: 5pt;
   1.224 -}
   1.225 -div.td10 {
   1.226 -  margin-left: 5pt;
   1.227 -  margin-right: 0pt;
   1.228 -}
   1.229 -div.td11 {
   1.230 -  margin-left: 5pt;
   1.231 -  margin-right: 5pt;
   1.232 -}
   1.233 -table[rules] {
   1.234 -  border-left: solid black 0.4pt;
   1.235 -  border-right: solid black 0.4pt;
   1.236 -}
   1.237 -td.td00 {
   1.238 -  padding-left: 0pt;
   1.239 -  padding-right: 0pt;
   1.240 -}
   1.241 -td.td01 {
   1.242 -  padding-left: 0pt;
   1.243 -  padding-right: 5pt;
   1.244 -}
   1.245 -td.td10 {
   1.246 -  padding-left: 5pt;
   1.247 -  padding-right: 0pt;
   1.248 -}
   1.249 -td.td11 {
   1.250 -  padding-left: 5pt;
   1.251 -  padding-right: 5pt;
   1.252 -}
   1.253 -table[rules] {
   1.254 -  border-left: solid black 0.4pt;
   1.255 -  border-right: solid black 0.4pt;
   1.256 -}
   1.257 -.hline hr, .cline hr {
   1.258 -  height : 1px;
   1.259 -  margin: 0px;
   1.260 -}
   1.261 -.tabbing-right {
   1.262 -  text-align: right;
   1.263 -}
   1.264 -span.TEX {
   1.265 -  letter-spacing: -0.125em;
   1.266 -}
   1.267 -span.TEX span.E {
   1.268 -  position: relative;top: 0.5ex;left: -0.0417em;
   1.269 -}
   1.270 -a span.TEX span.E {
   1.271 -  text-decoration: none;
   1.272 -}
   1.273 -span.LATEX span.A {
   1.274 -  position: relative;
   1.275 -  top: -0.5ex;
   1.276 -  left: -0.4em;
   1.277 -  font-size: 85%;
   1.278 -}
   1.279 -span.LATEX span.TEX {
   1.280 -  position: relative;
   1.281 -  left: -0.4em;
   1.282 -}
   1.283 -div.float img, div.float .caption {
   1.284 -  text-align: center;
   1.285 -}
   1.286 -div.figure img, div.figure .caption {
   1.287 -  text-align: center;
   1.288 -}
   1.289 -.marginpar {
   1.290 -  width: 20%;
   1.291 -  float: right;
   1.292 -  text-align: left;
   1.293 -  margin-left: auto;
   1.294 -  margin-top: 0.5em;
   1.295 -  font-size: 85%;
   1.296 -  text-decoration: underline;
   1.297 -}
   1.298 -.marginpar p {
   1.299 -  margin-top: 0.4em;
   1.300 -  margin-bottom: 0.4em;
   1.301 -}
   1.302 -table.equation {
   1.303 -  width: 100%;
   1.304 -}
   1.305 -.equation td {
   1.306 -  text-align: center;
   1.307 -}
   1.308 -td.equation {
   1.309 -  margin-top: 1em;
   1.310 -  margin-bottom: 1em;
   1.311 -} 
   1.312 -td.equation-label {
   1.313 -  width: 5%;
   1.314 -  text-align: center;
   1.315 -}
   1.316 -td.eqnarray4 {
   1.317 -  width: 5%;
   1.318 -  white-space: normal;
   1.319 -}
   1.320 -td.eqnarray2 {
   1.321 -  width: 5%;
   1.322 -}
   1.323 -table.eqnarray-star, table.eqnarray {
   1.324 -  width: 100%;
   1.325 -}
   1.326 -div.eqnarray {
   1.327 -  text-align: center;
   1.328 -}
   1.329 -div.array {
   1.330 -  text-align: center;
   1.331 -}
   1.332 -div.pmatrix {
   1.333 -  text-align: center;
   1.334 -}
   1.335 -table.pmatrix {
   1.336 -  width: 100%;
   1.337 -}
   1.338 -span.pmatrix img {
   1.339 -  vertical-align: middle;
   1.340 -}
   1.341 -div.pmatrix {
   1.342 -  text-align: center;
   1.343 -}
   1.344 -table.pmatrix {
   1.345 -  width: 100%;
   1.346 -}
   1.347 -img.cdots {
   1.348 -  vertical-align: middle;
   1.349 -}
   1.350 -.partToc a, .partToc, .likepartToc a, .likepartToc {
   1.351 -  line-height: 200%;
   1.352 -  font-weight: bold;
   1.353 -  font-size: 110%;
   1.354 -}
   1.355 -.chapterToc a, .chapterToc, .likechapterToc a, .likechapterToc, .appendixToc a, .appendixToc {
   1.356 -  line-height: 200%;
   1.357 -  font-weight: bold;
   1.358 -}
   1.359 -.caption td.id {
   1.360 -  font-weight: bold;
   1.361 -  white-space: nowrap;
   1.362 -}
   1.363 -table.caption {
   1.364 -  text-align: center;
   1.365 -}
   1.366 -h1.partHead {
   1.367 -  text-align: center;
   1.368 -}
   1.369 -p.bibitem {
   1.370 -  text-indent: -2em;
   1.371 -  margin-left: 2em;
   1.372 -  margin-top: 0.6em;
   1.373 -  margin-bottom: 0.6em;
   1.374 -}
   1.375 -p.bibitem-p {
   1.376 -  text-indent: 0em;
   1.377 -  margin-left: 2em;
   1.378 -  margin-top: 0.6em;
   1.379 -  margin-bottom: 0.6em;
   1.380 -}
   1.381 -.paragraphHead, .likeparagraphHead {
   1.382 -  margin-top: 2em;
   1.383 -  font-weight: bold;
   1.384 -}
   1.385 -.subparagraphHead, .likesubparagraphHead {
   1.386 -  font-weight: bold;
   1.387 -}
   1.388 -.quote {
   1.389 -  margin-bottom: 0.25em;
   1.390 -  margin-top: 0.25em;
   1.391 -  margin-left: 1em;
   1.392 -  margin-right: 1em;
   1.393 -  text-align: justify;
   1.394 -}
   1.395 -.verse {
   1.396 -  white-space: nowrap;
   1.397 -  margin-left: 2em}
   1.398 -div.maketitle {
   1.399 -  text-align: center;
   1.400 -}
   1.401 -h2.titleHead {
   1.402 -  text-align: center;
   1.403 -}
   1.404 -div.maketitle {
   1.405 -  margin-bottom: 2em;
   1.406 -}
   1.407 -div.author, div.date {
   1.408 -  text-align: center;
   1.409 -}
   1.410 -div.thanks {
   1.411 -  text-align: left;
   1.412 -  margin-left: 10%;
   1.413 -  font-size: 85%;
   1.414 -  font-style: italic;
   1.415 -}
   1.416 -div.author {
   1.417 -  white-space: nowrap;
   1.418 -}
   1.419 -.quotation {
   1.420 -  margin-bottom: 0.25em;
   1.421 -  margin-top: 0.25em;
   1.422 -  margin-left: 1em;
   1.423 -}
   1.424 -h1.partHead {
   1.425 -  text-align: center;
   1.426 -}
   1.427 -img.graphics {
   1.428 -  margin-left: 10%;
   1.429 -}
   1.430 -.figure {
   1.431 -  width: 100%;
   1.432 -}
   1.433 -P.fancyvrb {
   1.434 -  white-space: nowrap;
   1.435 -}
   1.436 -hr {
   1.437 -  border: 0;
   1.438 -  height: 1px;
   1.439 -}
   1.440 -div#fancyvrb {
   1.441 -  white-space: nowrap;
   1.442 -  background: #eee;
   1.443 -  padding: 1em;
   1.444 -}
   1.445 +body
   1.446 +{
   1.447 +    background: white;
   1.448 +    margin: 1in;
   1.449 +    font-family: Georgia,SimSun,serif;
   1.450 +}
   1.451 +
   1.452 +p, li, ul, ol, dd, dt
   1.453 +{
   1.454 +    font-style: normal;
   1.455 +    font-weight: normal;
   1.456 +    color: black;
   1.457 +}
   1.458 +
   1.459 +tt, pre
   1.460 +{
   1.461 +    font-family: Consolas,KaiTi,FangSong,SimSun,monospace;
   1.462 +}
   1.463 +
   1.464 +a
   1.465 +{
   1.466 +    color: blue;
   1.467 +    text-decoration: underline;
   1.468 +}    
   1.469 +
   1.470 +a:hover 
   1.471 +{
   1.472 +    background: rgb(75%,75%,100%);
   1.473 +    color: blue;
   1.474 +    text-decoration: underline;
   1.475 +}
   1.476 +
   1.477 +a:visited 
   1.478 +{
   1.479 +    color: purple;
   1.480 +    text-decoration: underline;
   1.481 +}
   1.482 +
   1.483 +img
   1.484 +{
   1.485 +    border: none;
   1.486 +}
   1.487 +
   1.488 +h1.title
   1.489 +{
   1.490 +    font-size: 250%;
   1.491 +    font-style: normal;
   1.492 +    font-weight: bold;
   1.493 +    color: black;
   1.494 +}
   1.495 +
   1.496 +h2.subtitle
   1.497 +{
   1.498 +    font-size: 150%;
   1.499 +    font-style: italic;
   1.500 +    color: black;
   1.501 +}
   1.502 +
   1.503 +h2.title
   1.504 +{
   1.505 +    font-size: 150%;
   1.506 +    font-style: normal;
   1.507 +    font-weight: bold;
   1.508 +    color: black;
   1.509 +}
   1.510 +
   1.511 +h3.title
   1.512 +{
   1.513 +    font-size: 125%;
   1.514 +    font-style: normal;
   1.515 +    font-weight: bold;
   1.516 +    color: black;
   1.517 +}
   1.518 +
   1.519 +h4.title
   1.520 +{
   1.521 +    font-size: 100%;
   1.522 +    font-style: normal;
   1.523 +    font-weight: bold;
   1.524 +    color: black;
   1.525 +}
   1.526 +
   1.527 +strong
   1.528 +{
   1.529 +    font-weight: normal;
   1.530 +}
   1.531 +
   1.532 +.toc b
   1.533 +{
   1.534 +    font-family: Verdana,SimHei,sans-serif;
   1.535 +    font-size: 120%;
   1.536 +    font-style: normal;
   1.537 +    font-weight: bold;
   1.538 +    color: black;
   1.539 +}
   1.540 +
   1.541 +.title
   1.542 +{
   1.543 +    font-family: Verdana,SimHei,sans-serif;
   1.544 +}
   1.545 +
   1.546 +.screen, .programlisting, .structname
   1.547 +{
   1.548 +    font-family: Consolas,KaiTi,FangSong,SimSun,monospace;
   1.549 +    font-style: normal;
   1.550 +    font-weight: normal;
   1.551 +}
   1.552 +
   1.553 +.userinput
   1.554 +{
   1.555 +    font-weight: normal;
   1.556 +}
   1.557 +
   1.558 +.command
   1.559 +{
   1.560 +    font-style: italic;
   1.561 +}
   1.562 +
   1.563 +.filename
   1.564 +{
   1.565 +    font-family: Georgia,SimSun,serif;
   1.566 +    font-style: italic;
   1.567 +}
   1.568 +
   1.569 +.figure, .example, .table
   1.570 +{
   1.571 +    margin: 0.125in 0.25in;
   1.572 +}
   1.573 +
   1.574 +.figure p.title b, .example p.title b, .table p.title b
   1.575 +{
   1.576 +    font-family: Georgia,SimSun,serif;
   1.577 +    font-size: 80%;
   1.578 +    font-style: italic;
   1.579 +    font-weight: normal;
   1.580 +}
   1.581 +
   1.582 +.table table
   1.583 +{
   1.584 +    border-width: 1px;
   1.585 +    border-style: solid;
   1.586 +    border-color: black;
   1.587 +    border-spacing: 0;
   1.588 +    background: rgb(240,240,240);
   1.589 +}
   1.590 +
   1.591 +.table td
   1.592 +{
   1.593 +    border: none;
   1.594 +    border-right: 1px black solid;
   1.595 +    border-bottom: 1px black solid;
   1.596 +    padding: 2px;
   1.597 +}
   1.598 +
   1.599 +.table th
   1.600 +{
   1.601 +    background: rgb(180,180,180);
   1.602 +    border: none;
   1.603 +    border-right: 1px black solid;
   1.604 +    border-bottom: 1px black solid;
   1.605 +    padding: 2px;
   1.606 +}
   1.607 +
   1.608 +.table p.title, .figure p.title, .example p.title
   1.609 +{
   1.610 +    text-align: left !important;
   1.611 +    font-size: 100% !important;
   1.612 +}
   1.613 +
   1.614 +.author, .pubdate
   1.615 +{
   1.616 +    margin: 0;
   1.617 +    font-size: 100%;
   1.618 +    font-style: italic;
   1.619 +    font-weight: normal;
   1.620 +    color: black;
   1.621 +}
   1.622 +
   1.623 +.preface div.author, .preface .pubdate
   1.624 +{
   1.625 +    font-size: 80%;
   1.626 +}
   1.627 +
   1.628 +.sidebar 
   1.629 +{
   1.630 +    border-top: dotted 1px black;
   1.631 +    border-left: dotted 1px black;
   1.632 +    border-right: solid 2px black;
   1.633 +    border-bottom: solid 2px black;
   1.634 +    background: rgb(240,220,170);
   1.635 +    padding: 0 0.12in;
   1.636 +    margin: 0.25in;
   1.637 +}
   1.638 +
   1.639 +.note .programlisting, .note .screen, 
   1.640 +.tip .programlisting, .tip .screen, 
   1.641 +.warning .programlisting, .warning .screen, 
   1.642 +.sidebar .programlisting, .sidebar .screen
   1.643 +{
   1.644 +    border: none;
   1.645 +    background: none;
   1.646 +}
   1.647 +
   1.648 +.sidebar p.title
   1.649 +{
   1.650 +    text-align: center;
   1.651 +    font-size: 125%;
   1.652 +}
   1.653 +
   1.654 +.note, .tip, .warning
   1.655 +{
   1.656 +    border: black solid 1px;
   1.657 +    margin: 0.125in 0;
   1.658 +    padding: 0 55px;
   1.659 +    font-size: 90%;
   1.660 +}
   1.661 +
   1.662 +.note
   1.663 +{
   1.664 +    background: url(./figs/note.png) no-repeat rgb(252,246,220);
   1.665 +}
   1.666 +
   1.667 +.tip
   1.668 +{
   1.669 +    background: url(./figs/tip.png) no-repeat rgb(224,244,255);
   1.670 +}
   1.671 +
   1.672 +.warning
   1.673 +{
   1.674 +    background: url(./figs/warning.png) no-repeat rgb(255,210,210);
   1.675 +}
   1.676 +
   1.677 +.note .title, .tip .title, .warning .title
   1.678 +{
   1.679 +    display: none;
   1.680 +}
   1.681 +
   1.682 +.programlisting, .screen
   1.683 +{
   1.684 +    font-size: 90%;
   1.685 +    color: black;
   1.686 +    margin: 1em 0.25in;
   1.687 +    padding: 0.5em;
   1.688 +    background: rgb(240,240,240);
   1.689 +    border-top: black dotted 1px;
   1.690 +    border-left: black dotted 1px;
   1.691 +    border-right: black solid 2px;
   1.692 +    border-bottom: black solid 2px;
   1.693 +}
   1.694 +
   1.695 +.navheader, .navfooter
   1.696 +{
   1.697 +    border: black solid 1px;
   1.698 +    background: rgb(180,180,200);
   1.699 +}
   1.700 +
   1.701 +.navheader hr, .navfooter hr
   1.702 +{
   1.703 +    display: none;
   1.704 +}
   1.705 +
   1.706 +#svn-footer
   1.707 +{
   1.708 +    font-size: 80%;
   1.709 +    text-align: center;
   1.710 +}
   1.711 +
   1.712 +#svn-footer hr
   1.713 +{
   1.714 +    display: none;
   1.715 +}
   1.716 +
   1.717 +/* --------------------- */
   1.718 +/* PRINT MEDIA OVERRIDES */
   1.719 +/* --------------------- */
   1.720 +
   1.721 +@media print
   1.722 +{
   1.723 +    body 
   1.724 +    {
   1.725 +        margin: 0;
   1.726 +    }
   1.727 +
   1.728 +    .navheader, .navfooter
   1.729 +    {
   1.730 +        display: none;
   1.731 +    }
   1.732 +
   1.733 +    #svn-footer hr
   1.734 +    {
   1.735 +        display: block;
   1.736 +    }
   1.737 +}