/*
    Stylesheet for HTML documents produced with
    Fourthought's sdocbook_html.xslt
    from Simplified DocBook documents
*/
html {
    background-color: #EEE;
}
body {
    margin: 2em 1em 2em 1em;
    background-color: #EEE;
    color: #000;
    font-family: sans-serif;
}
.articleinfo dl, .articleinfo p {
    margin-left: 1em;
}
.articleinfo h2 {
    margin-left: 0.7em;
}
.toc,.article {
    margin-left: 1em;
    margin-right: 1em;
}
a:link {
    color: #00A;
    background-color: transparent;
    text-decoration: none;
}
a:visited {
    color: #609;
    background-color: transparent;
    text-decoration: none;
}
a:active {
    color: #A00;
    background-color: transparent;
    text-decoration: underline;
}
a:hover {
    background-color: #FFA;
    text-decoration: underline;
}
h1, h2, h3, h4, h5, h6 { text-align: left }
h1, h2, h3 {
    color: #005A9C;
    background: transparent;
}
h1 { font: 170% sans-serif }
h2 { font: 140% sans-serif }
h3 { font: 120% sans-serif }
h4 { font: bold 100% sans-serif }
h5 { font: italic 100% sans-serif }
h6 { font: small-caps 100% sans-serif }
p {
    margin-top: 0.6em;
    margin-bottom: 0.6em;
}
dl, ol, ul {
    margin-left: 1.5em;
}
ol.compact, ul.compact {
    margin-top: 0;
    margin-bottom: 0;
}
ol.compact p, ul.compact p {
    margin-top: 0;
    margin-bottom: 0;
}
dt, dd {
    margin-top: 0;
    margin-bottom: 0;
} /* opera 3.50 */
dt {
    font-weight: bold
}
.article-title {
    border: solid 1px black;
    background: #DDD;
    padding-left: 1em;
    padding-right: 1em;
}
.section-title {
    border: solid 1px #888;
    background: #DDD;
    padding-left: .5em;
    padding-right: .5em;
}
.section-subtitle {
    padding-left: 3em;
    padding-right: .5em;
    font-size: 80%;
    font-style: italic;
}
.section-number {
    color: #886;
    padding-right: 0.5em;
}
div.figure {
    border: 1px dotted #CCC;
    margin-left: 2em;
    margin-right: 2em;
    padding-left: 1em;
    padding-right: 1em;
    padding-bottom: 1em;
}
.figure-title {
    color: #888;
    font-style: italic;
    font-size: 85%;
}
/* programlisting in XML becomes a programlisting div, normally */
.programlisting {
    color: #060;
    background-color: #EEE;
    border: double 4px #CCC;
    padding: 4px 1em 4px 1em;
    margin-left: 1em;
    margin-right: 1em;
    font-family: "Andale Mono","Lucida Console",monospace;
    font-size: 85%;
}
/* programlisting with @role='sample.IO' becomes a screen div */
.screen {
    color: #CEC;
    background-color: #555;
    border: double 4px #CCC;
    padding: 4px 1em 4px 1em;
    margin-left: 1em;
    margin-right: 1em;
    font-family: "Andale Mono","Lucida Console",monospace;
    font-size: 85%;
}
/* pre is used within a programlisting or screen div */
pre {
    margin: 0;
    padding: 0;
    width: 100%;
    overflow: auto;
    font-family: "Andale Mono","Lucida Console",monospace;
}
.computeroutput {
    color: #000;
    background-color: #DDD;
    font-family: "Andale Mono","Lucida Console",monospace;
    font-size: 85%;
}
.userinput {
    color: #800;
    background-color: #DDC;
    font-family: "Andale Mono","Lucida Console",monospace;
    font-size: 85%;
    white-space: nowrap;
}
.literal {
    font-family: "Andale Mono","Lucida Console",monospace;
    white-space: nowrap;
}
/* computeroutput and userinput look different when in a screen div */
.screen .computeroutput {
    font-size: 100%;
    font-weight: normal;
    color: #BBB;
    background-color: transparent;
}
.screen .userinput {
    font-size: 100%;
    font-weight: bolder;
    color: #FFC;
    background-color: transparent;
}
sup {
    color: #888;
}