body
{
    background-color: white;
    color: black;
    font-family: 'times new roman', times, serif;
    font-size: small;
}
h1
{
    border-bottom: gray 1px solid;
    color: blue;
    font-family: arial, helvetica, sans-serif;
    font-size: large;
    font-weight: bold;
    width: 100%;
}
h2
{
    font-family: arial, helvetica, sans-serif;
    font-size: medium;
    font-weight: bold;
}
h3
{
    font-family: arial, helvetica, sans-serif;
    font-size: small;
    font-weight: bold;
}
h4
{
    font-family: 'times new roman', times, serif;
    font-size: small;
    font-weight: normal;
    text-decoration: underline;
}
h5
{
    font-family: 'times new roman', times, serif;
    font-size: x-small;
    font-weight: bold;
}
h6
{
    font-family: 'times new roman', times, serif;
    font-size: x-small;
    font-style: italic;
    font-weight: normal;
}
a:active
{
    color: blue;
}
a:hover
{
    color: red;
}
a:link
{
    color: blue;
}
a:visited
{
    color: blue;
}
.reference
{
    background-color: yellow;
}
.fk
{
    font-family: arial, helvetica, sans-serif;
    font-size: x-small;
    font-weight: bold;
    background-color: blue;
    color: white;
    text-decoration: none;
}
.fk:active
{
    color: white;
}
.fk:hover
{
    color: white;
    padding: 1;
}
.fk:link
{
    color: white;
}
.fk:visited
{
    color: white;
}
#content
{
    position: absolute;
    top: 0em;
    left: 10em;
    padding: 0.5em;
    border-left: gray 1px solid;
    background-color: white;
}
#header
{
    display: none;
}
#menu
{
    position: absolute;
    top: 0em;
    left: 0em;
    width: 10em;
    background-color: whitesmoke;
}
#menu p
{
    font-family: arial, helvetica, sans-serif;
    font-size: x-small;
    margin: 0.5em;
}
#menu p.h1
{
    font-weight: bold;
}
#menu p.h1 a
{
    color: blue;
}
#menu p.h2
{
}
#menu div.h2
{
    background-color: gainsboro;
    margin: 0em 0.5em 0em 1em;
}
#menu p.h3
{
    margin: 0em 0em 0.5em 0em;
}
#menu a
{
    color: black;
}
#menu a:hover
{
    color: blue;
}
#popup
{
    display: none;
    position: absolute;
    background-color: #FFFFCC;
    padding: 4px;
    border: 2px groove gray;
    font-family: sans-serif;
    font-size: x-small;
}