body {
    background-color: #3885CA;
}

acronym {
    font-style: italic;
    color: #7EB6E1;
    cursor: help;
}

div.header {
    position: absolute;

    top: 5%;
    left: 5%;
    width: 90%;
    height: 100px;

    background-color: #00FF00;
}

div.menu {
    position: absolute;
    z-index: 0;

    top: 5%;
    left: 25%;
    width: 58%;
    height: 80%;
    min-width: 400px;
    min-height: 400px;
    padding-left: 1%;
    padding-right: 1%;

    background-color: #94CDFF;
    border: 1px dotted #000000;
}

div.body {
    position: absolute;
    z-index: 1;

    top: 10%;
    left: 20%;
    width: 58%;
    height: 80%;
    min-width: 400px;
    min-height: 400px;
    padding-left: 1%;
    padding-right:1%;

    background-color: #FFFFFF;
    border: 1px dotted #000000;
}

h2.title {
    position: relative;
    float: left;
    display: inline;

    text-align: left;
    font-size: 12pt;
    font-weight: normal;
    font-style: italic;
    font-family: monospace;
}

a.navigator {
    display: table;

    text-align: left;
    font-size: medium;
    font-style: italic;
    font-family: monospace;
}

h2.version {
    float: right;

    text-align: right;
    font-weight: normal;
    font-size: 12pt;
    font-style: italic;
    font-family: monospace;
}

p.body {
    text-align: justify;

    font-family: monospace;
    font-size: 8pt;
}

div.justified {
    text-align: justify;
}

div.navigator {
    display: none;
    position: absolute;
    top: 10%;

    left: 5%;
    width: 10%;
    height: 80%;
    min-width: 10%;

    background-color: #FFFFFF;
    border: 1px dotted #000000;
}

hr.title {
    clear: both;
    color: #3885CA;
}

span.question {
    display: list-item;
    list-style-position: inside;

    font-style: italic;
}

a span {
    display: none;
    text-decoration: none;
}

a:hover {
    background-color: #B2DAFF;
    text-decoration: none;
}

a:hover span {
    position: relative;
    display: block;

    top: 10px;
    left: 30px;
    padding-left: 1%;
    padding-right: 1%;

    background-color: #B2DAFF;
    border-right: 1px solid #000000;
    border-bottom: 1px solid #000000;
    color: #000000;

    text-decoration: none;
}