bos@576: body {
bos@576:   background: #f2f1f0;
bos@576:   font-family: verdana,sans-serif;
bos@576: }
bos@576: 
bos@576: .navheader, .book, .preface, .chapter, .appendix, .bibliography, .navfooter, .basetemplate {
bos@576:   width: 50em;
bos@576:   margin-left: auto;
bos@576:   margin-right: auto;
bos@576: }
bos@576: 
bos@576: a.commenttoggle:hover, a.commenttoggle:active {
bos@576:   opacity: 0.7;
bos@576: }
bos@576: 
bos@576: a:hover, a:active {
bos@576:   border-bottom: 1px solid #aaaaaa;
bos@576: }
bos@576: 
bos@576: .book, .preface, .chapter, .appendix, .bibliography, .basetemplate {
bos@576:   background: white;
bos@576:   padding: 2em;
bos@576: }
bos@576: 
bos@576: h1 {
bos@576:   margin-top: 1.5em;
bos@576: }
bos@576: 
bos@576: span.beta {
bos@576:   font-size: 80%;
bos@576:   font-style: italic;
bos@576:   opacity: 0.4;
bos@576: }
bos@576: 
bos@576: h2, h3 {
bos@576:   margin-top: 2em;
bos@576: }
bos@576: 
bos@576: h1, h2, h3 {
bos@576:   font-family: georgia,serif;
bos@576:   font-weight: normal;
bos@576:   margin-bottom: 0.5em;
bos@576: }
bos@576: 
bos@576: h1.booktitle {
bos@576:   margin-bottom: 0px;
bos@576: }
bos@576: 
bos@576: h2.booktitle {
bos@576:   text-align: center;
bos@576: }
bos@576: 
bos@576: h2.booktitle > a {
bos@576:   color: black;
bos@576: }
bos@576: 
bos@576: div.authors {
bos@576:   font-size: 80%;
bos@576:   margin-bottom: 1em;
bos@576:   padding-left: 0.25em;
bos@576: }
bos@576: 
bos@576: span.authors {
bos@576:   font-size: 80%;
bos@576:   opacity: 0.55;
bos@576:   padding-left: 0.5em;
bos@576: }
bos@576: 
bos@576: div.note th, div.tip th, div.warning th {
bos@576:   font-family: georgia,serif;
bos@576:   font-weight: normal;
bos@576:   font-size: 110%;
bos@576: }
bos@576: 
bos@576: div.navheader th, div.navfooter td {
bos@576:   font-family: georgia,serif;
bos@576: }
bos@576: 
bos@576: div.navheader th {
bos@576:   opacity: 0;
bos@576:   font-size: 0;
bos@576: }
bos@576: 
bos@576: pre.screen {
bos@576:   background-image: url(figs/shell.png);
bos@576: }
bos@576: 
bos@576: pre.programlisting {
bos@576:   background-image: url(figs/source.png);
bos@576: }
bos@576: 
bos@576: pre.programlisting, pre.screen, p.remark {
bos@576:   border-style: solid;
bos@576:   border-width: 1px;
bos@576:   font-size: medium;
bos@576:   padding: 1em;
bos@576:   background-repeat: no-repeat;
bos@576:   background-position: 10px 10px;
bos@576:   padding-left: 70px;
bos@576: }
bos@576: 
bos@576: strong.command, code, pre, span.type {
bos@576:   font-family: monospace;
bos@576:   font-weight: normal;
bos@576: }
bos@576: 
bos@576: strong.userinput > code {
bos@576:   font-weight: bolder;
bos@576:   color: #303030;
bos@576: }
bos@576: 
bos@576: div.toc > p {
bos@576:   opacity: 0.35;
bos@576:   font-family: georgia,serif;
bos@576:   cursor: pointer;
bos@576: }
bos@576: 
bos@576: div.toc b {
bos@576:   font-weight: normal;
bos@576:   font-size: large;
bos@576: }
bos@576: 
bos@576: ul.booktoc {
bos@576:   padding-left: 0px;
bos@576:   list-style-type: none;
bos@576: }
bos@576: 
bos@576: .booktoc > li {
bos@576:   padding: 0.5em;
bos@576: }
bos@576: 
bos@576: .chapinfo {
bos@576:   float: right;
bos@576:   color: #a0a0a0;
bos@576: }
bos@576: 
bos@576: .unpublished {
bos@576:   color: #a0a0a0;
bos@576: }
bos@576: 
bos@576: .chapinfo img {
bos@576:   vertical-align: -35%;
bos@576:   border: 0px;
bos@576: }
bos@576: 
bos@576: .zebra_b {
bos@576:   background: #f4f4f4;
bos@576: }
bos@576: 
bos@576: .book .titlepage {
bos@576:   display: none;
bos@576: }
bos@576: 
bos@576: .chapter div.toc > dl {
bos@576:   display: none;
bos@576: }
bos@576: 
bos@576: pre.programlisting, pre.screen, p.remark {
bos@576:   overflow: hidden;
bos@576: }
bos@576: 
bos@576: p.remark {
bos@576:   background-image: url(figs/remark.png);
bos@576: }
bos@576: 
bos@576: div.warning, p.remark {
bos@576:   background-color: #FFEFE8;
bos@576:   border-color: #e0a8a0;
bos@576: }
bos@576: 
bos@576: span.remark {
bos@576:   font-style: normal;
bos@576:   color: #707070;
bos@576: }
bos@576: 
bos@576: .screen {
bos@576:   background: #e7ffc7 none repeat scroll 0% 50%;
bos@576:   border-color: #94DA3A;
bos@576: }
bos@576: 
bos@576: .programlisting {
bos@576:   background: #F0F4FF none repeat scroll 0% 50%;
bos@576:   border-color: #B4BAEA;
bos@576: }
bos@576: 
bos@576: .prompt {
bos@576:   color: #448844;
bos@576: }
bos@576: 
bos@576: div.note, div.tip {
bos@576:   background: #ffffc9;
bos@576:   border-color: #B4BAEA;
bos@576: }
bos@576: 
bos@576: div.note, div.warning, div.tip {
bos@576:   border-style: solid;
bos@576:   border-width: 1px;
bos@576:   padding: 1em;
bos@576: }
bos@576: 
bos@576: .note .title {
bos@576:   font-size: 90%;
bos@576: }
bos@576: 
bos@576: .comment {
bos@576:   font-size: 80%;
bos@576: }
bos@576: 
bos@576: div.comment, div.new_comment {
bos@576:   padding: 0.5em;
bos@576:   margin: 0.5em;
bos@576:   margin-left: 2em;
bos@576:   border-style: solid;
bos@576:   border-width: 1px;
bos@576:   border-color: #aaaaff;
bos@576: }
bos@576: 
bos@576: div.comment {
bos@576:   background: #eeeeff;
bos@576: }
bos@576: 
bos@576: div.new_comment {
bos@576:   background: #d0d0ff;
bos@576: }
bos@576: 
bos@576: .commenttoggle {
bos@576:   opacity: 0.35;
bos@576: }
bos@576: 
bos@576: .comment_help {
bos@576:   font-size: 80%;
bos@576: }
bos@576: 
bos@576: .comment_header {
bos@576:   opacity: 0.75;
bos@576: }
bos@576: 
bos@576: .comment_id {
bos@576:   float: right;
bos@576:   opacity: 0.3;
bos@576:   font-size: 60%;
bos@576: }
bos@576: 
bos@576: .comment_name {
bos@576:   font-weight: bolder;
bos@576: }
bos@576: 
bos@576: .comment_reviewed {
bos@576:   color: darkgreen;
bos@576:   margin-left: 1em;
bos@576:   font-style: italic;
bos@576: }
bos@576: 
bos@576: .comment_date {
bos@576:   opacity: 0.75;
bos@576: }
bos@576: 
bos@576: .comment_thanks {
bos@576:   color: darkblue;
bos@576:   margin-left: 1em;
bos@576:   font-style: italic;
bos@576:   font-weight: bolder;
bos@576: }
bos@576: 
bos@576: .comment_error {
bos@576:   padding-left: 1em;
bos@576:   font-weight: bolder;
bos@576:   font-size: 80%;
bos@576:   color: darkred;
bos@576: }
bos@576: 
bos@597: .hgfooter {
bos@576:   width: 60em;
bos@576:   margin-left: auto;
bos@576:   margin-right: auto;
bos@576:   margin-top: 2em;
bos@576:   margin-bottom: 2em;
bos@576:   font-size: 80%;
bos@576:   color: #727272;
bos@576: }
bos@576: 
bos@597: .hgfooter a {
bos@576:   color: #5555ff;
bos@576: }
bos@576: 
bos@597: .hgfooter a:visited {
bos@576:   opacity: 0.7;
bos@576: }
bos@576: 
bos@597: .hgfooter img {
bos@576:   vertical-align: -45%;
bos@576: }