body
{
    background: white;
    margin: 0.5in;
    font-family: arial,helvetica,sans-serif;
}

h1.title
{
    font-size: 250%;
    font-style: normal;
    font-weight: bold;
    color: black;
}

h2.subtitle
{
    font-size: 150%;
    font-style: italic;
    color: black;
}

h2.title
{
    font-size: 150%;
    font-style: normal;
    font-weight: bold;
    color: black;
}

h3.title
{
    font-size: 125%;
    font-style: normal;
    font-weight: bold;
    color: black;
}

h4.title
{
    font-size: 100%;
    font-style: normal;
    font-weight: bold;
    color: black;
}

.toc b
{
    font-size: 125%;
    font-style: normal;
    font-weight: bold;
    color: black;
}

p,li,ul,ol,dd,dt
{
    font-style: normal;
    font-weight: normal;
    color: black;
}

tt,pre
{
    font-family: courier new,courier,fixed;
}

.term
{
    font-family: courier new,courier,fixed;
}

.command, .screen, .programlisting
{
    font-family: courier new,courier,fixed;
    font-style: normal;
    font-weight: normal;
}

.filename
{
    font-family: arial,helvetica,sans-serif;
    font-style: italic;
}

a
{
    color: blue;
    text-decoration: underline;
}    

a:hover 
{
    background: rgb(75%,75%,100%);
    color: blue;
    text-decoration: underline;
}

a:visited 
{
    color: purple;
    text-decoration: underline;
}

img
{
    border: none;
}

.figure, .example, .table
{
    margin: 0.125in 0.5in;
}

.table table
{
    border-width: 1px;
    border-style: solid;
    border-color: black;
    border-spacing: 0;
    background: rgb(240,240,240);
}

.table td
{
    border: none;
    border-right: 1px black solid;
    border-bottom: 1px black solid;
    padding: 2px;
}

.table th
{
    background: rgb(180,180,180);
    border: none;
    border-right: 1px black solid;
    border-bottom: 1px black solid;
    padding: 2px;
}

.table p.title, .figure p.title, .example p.title
{
    text-align: left !important;
    font-size: 100% !important;
}

.author
{
    font-size: 100%;
    font-style: italic;
    font-weight: normal;
    color: black;
}

.sidebar 
{
    border-top: dotted 1px black;
    border-left: dotted 1px black;
    border-right: solid 2px black;
    border-bottom: solid 2px black;
    background: rgb(240,220,170);
    padding: 0 0.12in;
    margin: 0.5in;
}

.note .programlisting, .note .screen, 
.tip .programlisting, .tip .screen, 
.warning .programlisting, .warning .screen, 
.sidebar .programlisting, .sidebar .screen
{
    border: none;
    background: none;
}

.sidebar p.title
{
    text-align: center;
    font-size: 125%;
}

.note
{
    border: black solid 1px;
    background: url(./images/note.png) no-repeat rgb(252,246,220);
    margin: 0.12in 0;
    padding: 0 55px;
}

.tip
{
    border: black solid 1px;
    background: url(./images/tip.png) no-repeat rgb(224,244,255);
    margin: 0.12in 0;
    padding: 0 55px;
}

.warning
{
    border: black solid 1px;
    background: url(./images/warning.png) no-repeat rgb(255,210,210);
    margin: 0.12in 0;
    padding: 0 55px;
}

.programlisting, .screen
{
    font-size: 90%;
    color: black;
    margin: 1em 0.5in;
    padding: 0.5em;
    background: rgb(240,240,240);
    border-top: black dotted 1px;
    border-left: black dotted 1px;
    border-right: black solid 2px;
    border-bottom: black solid 2px;
}

.navheader, .navfooter
{
    border: black solid 1px;
    background: rgb(180,180,200);
}

.navheader hr, .navfooter hr
{
    display: none;
}
