BODY
{
    background-color : #FFFFFF;
    font-family : Verdana, Arial, Sans-Serif;
    font-size : small;
    color : #111111;
    margin: 0;
    padding: 0;
}

P
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : small;
    color : #111111;
}


H1
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : x-large;
    font-weight : normal;
    color : #0000AA;
}


H2
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : large;
    font-weight : normal;
    color : #0000AA;
}

H3
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : medium;
    font-weight : bold;
    color : #0000AA;
}

H4
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : small;
    font-weight : normal;
    color : #0000AA;
}

UL
{
    font-family : Verdana, Arial, Sans-Serif;
    color : #111111;
}


OL
{
    font-family : Verdana, Arial, Sans-Serif;
    color : #111111;
}


DL
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : small;
    color : #111111;
}


LI
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : small;
    color : #111111;
}


TH
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : small;
    color : #FFFFFF;
}


TD
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : small;
    color : #111111;
}

table.nifty
{
    background-color : blue;
}

td.nifty
{
    background-color : #FFFFFF;
}

th.nifty
{
    background-color : blue;
    color : white;
}

DL
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : small;
    color : #111111;
}


DD
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : small;
    color : #111111;
}


DT
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : small;
    color : #111111;
}


CODE
{
    font-family : Courier, Serif;
    font-size : small;
    color : #111111;
}


PRE
{
    font-family : Courier, Serif;
    font-size : small;
    color : #111111;
}


P.indent
{
    font-family : Verdana, Arial, Sans-Serif;
    list-style-type : circle;
    list-style-position : inside;
    color : #111111;
    margin-left : 16.0pt;
}


PRE.programlisting
{
    font-size : small;
    list-style-type : disc;
    margin-left : 16.0pt;
    margin-top : -14.0pt;
}

.menu {
    background-color : #0000AA;
    color : #FFFFFF;
    font-size : medium;
    font-weight : bold;
    text-decoration : none;
}

.spacer {
    background-color : #000000;
}

A:link {
    color : blue;
    text-decoration : none;
}

A:hover {
    color : blue;
    text-decoration : underline;
}

A:visited {
    color : purple;
    text-decoration : none;
}

A:visited:hover {
    color : purple;
    text-decoration : underline;
}

a.h2:link {
    font-size : large;
    font-weight : normal;
    color : blue;
    text-decoration : none;
}

a.h2:hover {
    font-size : large;
    font-weight : normal;
    color : blue;
    text-decoration : underline;
}

a.h2:visited {
    font-size : large;
    font-weight : normal;
    color : purple;
    text-decoration : none;
}

a.h2:visited:hover {
    font-size : large;
    font-weight : normal;
    color : purple;
    text-decoration : underline;
}

a.h3:link {
    font-size : medium;
    font-weight : normal;
    color : blue;
    text-decoration : none;
}

a.h3:hover {
    font-size : medium;
    font-weight : normal;
    color : blue;
    text-decoration : underline;
}

a.h3:visited {
    font-size : medium;
    font-weight : normal;
    color : purple;
    text-decoration : none;
}

a.h3:visited:hover {
    font-size : medium;
    font-weight : normal;
    color : purple;
    text-decoration : underline;
}

a.menu:active {
    color : #FFFFFF;
    font-size : medium;
    font-weight : bold;
    text-decoration : none;
}

a.menu:hover {
    color : #FFFFFF;
    font-size : medium;
    font-weight : bold;
    text-decoration : underline;
}

a.menu:link {
    color : #FFFFFF;
    font-size : medium;
    font-weight : bold;
    text-decoration : none;
}

a.menu:visited {
    color : #DDDDDD;
    font-size : medium;
    font-weight : bold;
    text-decoration : none;
}

a.menu:visited:hover {
    color : #DDDDDD;
    font-size : medium;
    font-weight : bold;
    text-decoration : underline;
}

._alt
{
    background-color : #DDDDFF;
}

.large
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : x-large;
    font-weight : normal;
    color : #111111;
}

.large_alt
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : x-large;
    font-weight : normal;
    color : #111111;
    background-color : #DDDDFF;
}

.large_warning
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : x-large;
    font-weight : normal;
    color : red;
}

.large_warning_alt
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : x-large;
    font-weight : normal;
    color : red;
    background-color : #DDDDFF;
}

.small
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : x-small;
}

.small_alt
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : x-small;
    color : #111111;
    background-color : #DDDDFF;
}

.small_title
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : x-small;
    color : #0000AA;
}

.small_warning
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : x-small;
    color : red;
}

.small_warning_alt
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : x-small;
    color : red;
    background-color : #DDDDFF;
}

.small_shadowed
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : x-small;
    color : #777777;
}

.small_shadowed_alt
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : x-small;
    color : #777777;
    background-color : #FFDDAA;
}

.small_fixed_pitch
{
    font-family : Courier, Verdana, Arial, Sans-Serif;
    font-size : x-small;
    color : #111111;
}

.tiny
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : xx-x-small;
    color : #111111;
}

.tiny_alt
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : xx-x-small;
    color : #111111;
    background-color : #DDDDFF;
}

.tiny_warning
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : xx-x-small;
    color : red;
}

.tiny_warning_alt
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : xx-x-small;
    color : red;
    background-color : #DDDDFF;
}

.tiny_shadowed
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : xx-x-small;
    color : #777777;
}

.tiny_shadowed_alt
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : xx-x-small;
    color : #777777;
    background-color : #FFDDAA;
}

.tiny_fixed_pitch
{
    font-family : Courier, Verdana, Arial, Sans-Serif;
    font-size : xx-x-small;
    color : #111111;
}

.bold
{
    font-family : Verdana, Arial, Sans-Serif;
    font-weight : bold;
    font-size : small;
    color : #003366;
}

.bold_different_background
{
    font-family : Verdana, Arial, Sans-Serif;
    font-weight : bold;
    font-size : small;
    color : #003366;
    background-color: #FFFFFF;
}

.different_background {
    background-color: #FFFFFF;
}

.different_background_tiny {
    background-color: #FFFFFF;
    font-size : xx-x-small;
 }

.low_contrast { color: #888888}

.low_contrast_tiny { color: #888888;
    font-size : xx-x-small;
}

.low_contrast_x-small { color: #888888;
    font-size : x-small;
}

.low_contrast_x-small_alt
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : x-small;
    color : #888888;
    background-color : #FFDDAA;
}


.title
{
    font-family : Verdana, Arial, Sans-Serif;
    color : #0000AA;
}

.warning
{
    font-family : Verdana, Arial, Sans-Serif;
    color : red;
}

.small_warning
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : x-small;
    color : red;
}

.highlight
{
    font-family : Verdana, Arial, Sans-Serif;
    color : #FF0000;
    background-color : #FFFF00;
}

.small_highlight
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : x-small;
    background-color : #FFFF00;
}

.caption
{
    font-family : Verdana, Arial, Sans-Serif;
    font-size : small;
    font-weight : normal;
    color : #111111;
    text-decoration : italic;
}