/**********************/
/* Custom style-sheet */
/**********************/

body
{
    background: #b4aeae;
    font-family: verdana,arial,helvetica,sans-serif;
    margin: 0.5in 130px;
}

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;
}

.disclaimer
{
    font-size: 60%;
    font-style: normal;
    font-weight: normal;
    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;
}

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

a
{
    color: #ffffff;
    text-decoration: none;
}    

a:hover 
{
    color: #5e495e;
    text-decoration: underline;
}

a:visited 
{
    color: #ffffff;
    text-decoration: none;
}

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;
}

.foo {
    font-size: 80%;
    font-style: normal;
    font-weight: bold;
    color: #a886a8;
}

.foo2 {
    font-size: 80%;
    font-style: normal;
    font-weight: bold;
    color: #ffffff;
}

.foo3 {
    font-size: 100%;
    font-style: normal;
    text-decoration: underline
    font-weight: bold;
    color: #ffffff;
}

.bodytext {
    font-size: 70%;
    font-style: normal;
    font-weight: normal;
    color: black;
}

.aankeiler {
    font-size: 70%;
    font-weight: bold;
    color: #66a25c;
}

.menu {
    border-top: 1px black;
    border-left: 1px black;
    border-right: 1px black;
    border-bottom: 1px black;
    padding: 0 0.12in;
    margin: 0.5in;
    font-size: 75%;
    font-weight: normal;
    color: #ffffff;
}

.lefttitle
{
    font-size: 100%;
    font-style: italic;
    font-weight: bold;
    color: darkred;
}

.leftcontent
{
    font-size:65%;
    font-style: normal;
    font-weight: normal;
    color: white;
}

.navheader
{
    color: black;
    background: rgb(255,255,255);
    border-bottom: 1px solid #000;
}

.navfooter
{
    color: black;
    background: rgb(255,255,255);
    border-top: 1px solid #000;
}

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