/*
 * style.css: CSS style definition file
 */

body {
    background: #ffffff;
    color: #6699cc;
    margin-left: 8%;
    margin-right: 3%;
    font-size: small;
}

h1 {
    text-align: right; 
    font-weight: bold;
    font-size: medium;

    margin-top: 3%;
    margin-right: 5%;

    border-right: #6699cc 1px solid;
    border-top: #6699cc 1px solid;
    border-left: #6699cc 1px solid;
    border-bottom: #6699cc 1px solid;

    background-color: #F0F8FF;
    color: #6699cc;

    padding-right: 0.5em;
    padding-top: 0.5em;
    padding-left: 0.5em;
    padding-bottom: 0.3em;

    white-space: pre;

}

h2 {
    font-size: medium;
    margin-right: 30%;
    margin-top: 2em;
    margin-bottom: 0.5em;
    border-bottom: #6699cc 2px dotted;
    border-bottom: #ccff66 3px dotted;
    border-left: #ccff66 5px solid;
    padding-left: 0.5em;
}


h3 {
    font-size: medium;
    margin-right: 50%;
    margin-top: 2em;
    margin-bottom: 1em;
    border-bottom: #6699cc 2px dotted;
    padding-left: 0.5em;
}


h5 {
    font-weight: bold;
    font-size: medium;

    margin-top: 3%;
    margin-right: 5%;

    color: #009900 ;
    background: #ccff66; 

    padding-left: 0.5em;
}

h6 {
    border-bottom: #ccff66 3px dotted;
    color: #009900 ;
    font-size: 2pt;
    margin-right: 5%;
    font-weight: bold;
}


div {
    margin-left: 10%;
    margin-right: 5%;
    background: #ffffff;
    color: #009900 ;
}

dd {
    font-size: small;

    margin-top: 1em;
    margin-bottom: 1em;
    margin-right: 5%;
    margin-left: 1em;

    border-right: #6699cc 1px solid;
    border-top: #6699cc 1px solid;
    border-left: #6699cc 1px solid;
    border-bottom: #6699cc 1px solid;

    padding-top: 0.5em;
    padding-bottom: 0.5em;
    padding-right: 1em;
    padding-left: 0.5em;

    background-color: #F0F8FF;
    color: #6699cc;

}

dt {
    font-size: medium;
    font-weight: bold;

    margin-top: 1.5em;
    margin-right: 50%;

    border-bottom: #6699cc 2px dotted;

    padding-left: 0.3em;
}

p,ol,ul {
    font-size: small;
    margin-top: 0.5ex;
    margin-bottom: 1ex;
    margin-right: 5%;
}


table {
    font-size: medium;
    margin-top: 0.5ex;
    margin-left: 0.1em;
    margin-bottom: 1ex;
    /* background: #ccff66; */ 
    /* border: #ccff66 1px solid; */
}

td {
    background: #ffffff; 
    /* border: #ccff66 1px solid; */
}

p {
    margin-top: 1ex;
    padding-top: 1.5ex;
}

KBD{
    text-decoration: underline;
}


CODE{
   color: #004080; 
}

address {
    color: #ccffff;
    text-align: right;
    font-family: Times, serif; 
}

var {
    color: #999966;
    font-size: x-small;
}

em {
   color: #004080; 
    font-style: normal;
}

pre {
    font-size: small;

    margin-right: 5%;
    margin-left: 1em;

    border-right: #6699cc 1px solid;
    border-top: #6699cc 1px solid;
    border-left: #6699cc 1px solid;
    border-bottom: #6699cc 1px solid;

    padding-right: 0.5em;
    padding-top: 0.5em;
    padding-left: 1em;
    padding-bottom: 0.5em;

    color: #999966;
    background-color: #FfFfFF;

    white-space: pre;
}

a:link {
    color: #ff9999;
}

a:visited, a:active {
    color: #6699cc;
}