/* $HeadURL$ */
/* $LastChangedBy$ */
/* $LastChangedDate$ */
/* $LastChangedRevision$ */

body
{
    padding: 8px 8px 8px 8px;
    margin: 0;
    font-family: sans-serif;
    font-size: small;
    color: black;
    background: white;
    background-position: top left;
    background-attachment: fixed;
    background-repeat: no-repeat;
}

:link { color: #00c; background: white; }

:visited { color: #609; background: white; }

a:active { color: #c00; background: white; }

a:link img, a:visited img { border-style: none }

a[href]:hover { color: #00c; background: #eee; }
a[href]:hover:visited { color: #609; background: #eee; }
a[href]:hover:active { color: #c00; background: #eee; }

h1, h2, h3, h4, h5, h6 { text-align: left; }
h1 { font: 170% sans-serif; margin: 0.8em 0 0.8em 0; }
h2 { font: 140% sans-serif; margin: 0.8em 0 0.8em 0; }
h3 { font: bold 120% sans-serif; margin: 0.8em 0 0.8em 0; }
h4 { font: 120% sans-serif; margin: 0.8em 0 0.8em 0; }
h5 { font: italic 120% sans-serif; margin: 0.8em 0 0.8em 0; }
h6 { font: italic 110% sans-serif; margin: 0.8em 0 0.8em 0; }

.hide { display: none }

div.block { border: 1px solid #ccc; margin: 4px 4px 4px 4px; }

div.head { margin-bottom: 0.5em }
div.head h1 { margin-top: 0.5em; clear: both }
div.head table { margin-left: 0.5em; margin-top: 0.5em }

p { margin-top: 0.6em; margin-bottom: 0.6em; }

p.copyright { font-size: x-small }
p.copyright small { font-size: x-small }

pre { margin-left: 1em }

dt, dd { margin-top: 0; margin-bottom: 0 }
dt { font-weight: bold }

pre, code { font-family: monospace }

ul.toc { list-style: none; }

@media aural
{
    h1, h2, h3 { stress: 20; richness: 90 }
    .hide { speak: none }
    p.copyright { volume: x-soft; speech-rate: x-fast }
    dt { pause-before: 20% }
    pre { speak-punctuation: code }
}