/* generated from book.css.m4 - do not edit */



body {
    color: #000000;
    background-image: url(images/Paper3.jpg);
    margin: 30pt;
    padding-left: 50pt;
    padding-right: 0;
    font-family: Optima, Times, serif;
    
}

blockquote.note {
    color: black;
    background-color: yellow;
    font-family: "Comic Sans MS", cursive;
    font-size: 100%;
    padding: 1em;
    width: 30%;
    float: right;
}

pre.scheme, pre.sample, pre.perl, pre.other, div.listing, div.figure,
div.listing, div.footnote, blockquote.note {
    border-top: 1px solid #fff;
    border-left: 1px solid #fff;
    border-bottom: 1px solid #626262;
    border-right: 1px solid #626262;
}

blockquote.puzzle {
    font-family: "Times New Roman", Times, serif;
    border: 1px solid #000000;
    padding-left: 1em;
    padding-right: 1em;
    padding-top: 0.5em;
}

div.title {
    text-align: center;
    font-weight: bold;
    font-size: 110%;
}

blockquote.quote {
    margin-right: 0;
    margin-left: 1.5em;
    
}

blockquote.quote p.quote {
    margin-right: 0;
    text-align: right;
    
}

div.author {
    text-align: right;
    font-style: italic;
    margin-right: 0;
    
}

span.small {
    font-size: 80%;
}

span.dlb {
    display: inline-block;
}

div.blank {
    font-size: 80%;
    padding-left: 40%;
    padding-right: 40%;
    padding-top: 45%;
    padding-bottom: 45%;
    border-top: 1px solid #626262;
    border-bottom: 1px solid #626262;
    text-align: justify;
}

blockquote.note:before {
    content: "Note";
    font-size: 120%;
    display: block;
}

blockquote.sourcecode {
    font-family: Optima, Times, serif;
    font-style: italic;
    font-weight: normal;
}

sup {
    font-size: 60%;
}

hr.sep {
    margin-left: 45%;
    margin-right: 45%;
    margin-top: 10pt;
    margin-bottom: 13pt;
    border-top-width: 0px;
    border-bottom-width: 0px;
    border-left-width: 0px;
    border-right-width: 0px;
}

hr.sep:before {
    content: url(images/PearlSep.png);
}

div.cover {
    text-align: center;
    margin: 0;
    padding: 0;
}

ul, ol, dl, div {
    
}

ul.toc1 {
    font-size: 150%;
    margin-left: 0;
    padding-left: 0;
}

ol.std, ul.std {
    margin-left: 1.5em;
    text-align: justify;
}

div.download {
    margin: 0;
    margin-top: -1.4em;
    width: 100%;
    
    text-align: right;
}

a.download, a.download:active, a.download:visited, a.dowmnload:link {
    text-decoration: none !important;
    font-size: 70%;
}

ol.std ol.std, ul.std ul.std {
    margin-left: 0;
}

ol.std {
    list-style-type: decimal;
    list-style-image: none;
}

ul.std {
    list-style-type: disc;
    list-style-image: url(images/SmallPearl.png);
}

ol.std ol.std {
    list-style-type: lower-roman;
}

ol.std ol.std ol.std {
    list-style-type: lower-alpha;
}

img.cover {
    border-left: 4px solid #fff;
    border-top: 4px solid #fff;
    border-right: 4px solid #7c7c7c;
    border-bottom: 4px solid #7c7c7c;
}

h1, h2, h3, h4, h5, h6, div.toctitle {
    margin: 0;
    padding: 0;
    padding-top: 0.2em;
    margin-top: 10pt;
    margin-left: -50pt;
    border-top: 0.12em solid;
    
}

div.footnotes {
    margin: 0;
    padding-top: 0.2em;
    margin-top: 10pt;
    margin-left: -50pt;
}

div.navigation+h1, div.navigation+h2 {
    margin-top: 1em;
}

div.navigation {
    margin: 0;
    padding-top: 0.1em;
    padding-bottom: 0.1em;
    border-top: 1px solid;
    border-bottom: 1px solid;
    margin-left: -50pt;
    margin-right: 0;
    position: relative;
    
}

div.cover div.navigation {
    margin-left: 0;
}

ul.navigation {
    display: block;
    margin: 0;
    padding: 0;
    list-style: none;
    text-align: left;
    
}

li.navigation {
    display: block;
    position: absolute;
    list-style: none;
    padding: 0;
    left: 0;
    top: 0;
    bottom: 0;
    width: 33.33%;
    
}

li.navigation.left {
    text-align: left;
    left: 0;
}

li.navigation.middle {
    text-align: center;
    left: 33.33%;
}

li.navigation.right {
    text-align: right;
    left: 66.66%;
}

li.navigation.hidden {
    position: static;
    visibility: hidden;
}

ul, ol, dl {
    padding-left: 1.5em;
    margin-left: 0;
}

dl.compact {
    margin: 0.0em 0;
    padding: 0;
    font-family: georgia, times, serif;
    
}

dl.compact dt {
    position: relative;
    left: 0;
    top: 1.2em;
    width: 5em;
    margin-top: -1.2em;
    font-weight: bold;
    
}

dl.compact dd {
    margin: 0 0 0 6em;
    padding: 0 0 0em 0em;
    
}

h2 {
    color: #fff;
    background-color: inherit;
}

h2+p:first-letter {
    font-family: inherit;
    font-size: 150%;
    float: left;
    color: #626262;
    background-color: inherit;
}

a, a:active, a:visited, a:link {
    text-decoration: underline;
    background-color: inherit;
    color: #000000;
}

span.missing-link {
    background-color: inherit;
    color: #7c7c7c;
}

h2 a {
    background-color: inherit;
    color: inherit;
}

code {
    font-family: "Courier New", Courier, monospace;
}

blockquote {
    font-size: 95%;
    margin-left: 10%;
    margin-right: 10%;
}

li.toc, li.toc-small, li.index,
li.toc1, li.toc2, li.toc3, li.toc4,
li.toc5, li.toc6, li.toc7 {
    list-style-type: none;
}

li.toc1, li.toc2, li.toc3, li.toc4, li.toc5, li.toc6, li.toc7 {
    font-size: 90%;
}

li.toc-small {
    font-size: 75%;
}

div.toc {
    margin: 0;
    margin-bottom: 1.7em;
    margin-top: 1.7em;
    background-color: inherit;
    color: #000000;
}

i.kdef {
    font-family: "Courier New", Courier, monospace;
    background-color: inherit;
    color: #626262;
}

div.toctitle {
    font-size: 170%;
}

div.footnote {
    margin: 0;
    width: 82%;
    margin-top: 10pt;
    padding: 30px;
    background-image: url(images/Paper3.jpg);
    color: #000000;
}

a, code.scheme, code.perl {
    background-color: inherit;
}

p {
    text-align: justify;
    margin: 0;
    margin-top: 0.7em;
    margin-bottom: 0.2em;
    text-indent: 0;
    
}

p+p {
    text-indent: 1.5em;
    margin-top: 0.2em;
}

span.footnote-sup {
    width: 35pt;
    
}

span.footnote-sup+p {
    margin-top: -1.4em;
    text-indent: 35pt;
}

table.bnf {
    margin-left: 1.5em;
    margin-top: 10pt;
    margin-bottom: 13pt;
    text-indent: 0%;
    
}

pre.sample, pre.perl, pre.other, pre.scheme {
    padding: 6pt;
    padding-left: 12pt;
    font-family: "Courier New", Courier, monospace;
    font-size: 90%;
    white-space: pre-wrap;
    overflow: auto;
    background-color: inherit;
}

pre.sample, pre.perl, pre.other {
    color: #000000;
}

pre.scheme {
    color: #626262;
}

div.footnote pre {
    margin-right: 3.0em;
}

pre.listing {
    font-family: "Courier New", Courier, monospace;
    max-height: 26.2em;
    width: auto;
    overflow: auto;
    background-color: #000000;
    color: #dbdbdb;
    padding: 0.2em;
    padding-bottom: 0.5em;
    margin-bottom: 0;
    /* reverse of normal */
    border-bottom: 3px solid #fff;
    border-right: 3px solid #fff;
    border-top: 3px solid #626262;
    border-left: 3px solid #626262;
}

div.listing {
    padding: 0.4em;
    color: #000000;
    background-color: #dbdbdb;
}

b.boldtt {
    font-family: "Courier New", Courier, monospace;
    font-weight: bold;
}

span.keep {
    white-space: pre;
}

pre.scheme span.scheme-prompt, span.scheme-response {
    font-family: "Courier New", Courier, monospace;
    color: #7c7c7c;
    background-color: inherit;
    font-weight: bold;
}

li.toc1 code.scheme, li.toc2 code.scheme, li.toc3 code.scheme,
li.toc4 code.scheme, li.toc5 code.scheme, li.toc6 code.scheme,
li.toc7 code.scheme, li.toc1 code.perl, li.toc2 code.perl, li.toc3
code.perl, li.toc4 code.perl, li.toc5 code.perl, li.toc6 code.perl,
li.toc7 code.perl, h1 code.scheme, h2 code.scheme, h3 code.scheme,
h4 code.scheme, h5 code.scheme, h6 code.scheme, h1 code.perl, h2
code.perl, h3 code.perl, h4 code.perl, h5 code.perl, h6 code.perl {
    color: inherit;
    background-color: inherit;
}

pre.scheme, pre.sample, pre.perl, pre.other, div.listing, div.figure {
    margin-bottom: 13pt;
    margin-top: 10pt;
    margin-left: 1.5em;
    margin-right: 0;
}

div.figure {
    padding: 6pt;
    padding-left: 12pt;
    color: #000000;
    background-image: url(images/Paper3.jpg);
}

div.figurebody {
    text-align: center;
    margin-bottom: 13pt;
    margin-top: 10pt;
}

pre.listing span.lineno {
    font-size: 70%;
    color: #fff;
    background-color: inherit;
}

pre.sample span.lineno {
    font-size: 70%;
    color: #626262;
    background-color: inherit;
}

pre.listing span.string {
    color: #fff;
    background-color: inherit;
}

pre.sample span.string {
    color: #000000;
    background-color: inherit;
}

pre.listing span.pod {
    color: #fff;
    background-color: inherit;
    font-family: inherit;
}

pre.sample span.pod {
    color: #626262;
    background-color: inherit;
    font-family: inherit;
}

pre.listing span.comment {
    color: #fff;
    background-color: inherit;
    font-family: inherit;
}

pre.sample span.comment {
    color: #dbdbdb;
    background-color: inherit;
    font-family: inherit;
}

pre.sample span.symbol {
    color: #008800;
    background-color: inherit;
    font-family: inherit;
}

pre.listing span.symbol {
    color: #00ff00;
    background-color: inherit;
    font-family: inherit;
}

pre.sample span.operator {
    color: #0000FF;
    background-color: inherit;
}

pre.listing span.operator {
    color: #0088FF;
    background-color: inherit;
}

pre.sample span.structure {
    color: #0000FF;
    background-color: inherit;
    font-family: inherit;
}

pre.listing span.structure {
    color: #0088FF;
    background-color: inherit;
    font-family: inherit;
}

code.scheme {
    color: #626262;
    background-color: inherit;
}

code.perl {
    color: #000000;
    background-color: inherit;
}

i.meta {
    font-family: Optima, Times, serif;
    font-style: italic;
    font-weight: normal;
}

span.errmsg {
    font-family: "Courier New", Courier, monospace;
    font-weight: bold;
    color: #7c7c7c;
    background-color: inherit;
}

b.label {
    font-family: Helvetica, Ariel, sans-serif;
    font-weight: bold;
    font-size: 90%;
}

span.fnum {
    font-family: Helvetica, Ariel, sans-serif;
}

div.update {
    margin-left: -50pt;
    text-align: center;
}

dt {
    margin-top: 0.5em;
    margin-left: 2.0em;
    font-weight: bolder;
}

dd {
    margin-left: 3.0em;
    margin-right: 2.5em;
}


table.st {
    line-height: 1.4em;
    border-style: solid;
    border-width: 0px;
    border-collapse: collapse;
    color: #000000;
    background: #dbdbdb;
}

table.st th {
    border: solid 0px #7c7c7c;
}

th.st-tl, th.st-top, th.st-left {
    background: #dbdbdb;
    border-style: solid;
    border-width: 0px;
    border-color: #7c7c7c;
}

table.st th.st-statecol, table.st th.st-input {
    color: #626262;
}

table.st th.st-nextactiona, table.st th.st-nextactionn {
    border-bottom: 2px solid #7c7c7c;
    border-top: 1px solid #dbdbdb;
    color: #7c7c7c;
}

table.st th.st-nextactionn, table.st td.st-action {
    border-left: 2px solid #7c7c7c;
    border-right: 1px solid #dbdbdb;
}

table.st th.st-nextactiona, table.st td.st-next {
    border-left: 1px solid #dbdbdb;
    border-right: 2px solid #7c7c7c;
}

table.st td.st-action, table.st td.st-next {
    border-bottom: 2px solid #7c7c7c;
    border-top: 2px solid #7c7c7c;
}

table.st th.st-input {
    border: 2px solid #7c7c7c;
}

table.st th.st-statecol {
    border-left: 2px solid #7c7c7c;
    border-right: 2px solid #7c7c7c;
    border-top: 2px solid #7c7c7c;
}

span.bib-authors, i.bib-title, span.bib-year, span.bib-publisher, span.bib-url {
    margin-right: 0.4em;
}

/* vim: ft=css
*/