body
{
    font-family: Verdana;
    font-size: 8pt;
}
h1
{
    color: #336699;
    font-family: Verdana;
    font-size: 12pt;
    font-weight: bold;
    text-align: left;
}
h2
{
    color: #336699;
    font-family: Verdana;
    font-size: 10pt;
    font-weight: bold;
    text-align: left;
}
p
{
    text-align: justify;
}
pre
{
    font-family: Verdana;
    font-size: 7pt;
}
ul
{
    list-style-image: url(images/dot1.gif);
}
a
{
    color: #000000;
    font-weight: bold;
    text-decoration: none;
}
a:hover
{
    text-decoration: underline;
    font-weight: bold;
}

.header
{
    font-size: 16px;
    padding: 5px;
}
.mainmenu
{
    font-size: 14px;
    font-weight: bold;
    background-image: url(images/top_bg.gif);
    background-repeat: no-repeat;
    padding: 2px 2px 2px 220px;
    white-space: nowrap;
    background-color: #336699;
}
.tabmenu
{
    font-size: 12px;
    font-weight: bold;
    background-image: url(images/tabempty.gif);
    background-repeat: repeat-x;
    white-space: nowrap;
}
.submenu
{
    height: 100%;
    background-color: #EEEEEE;
}
.content
{
    padding: 5px;
}
.footer
{
    color: #FFFFFF;
    background-color: #336699;
    padding: 5px;
}

.mainmenuitem
{
    color: #FFFFFF;
    background-color: #336699;
    padding: 3px;
    text-decoration: none;
}
.mainmenuhover
{
    color: #FFFFFF;
    background-color: #6699CC;
    text-decoration: none !important;
}

.submenuitem
{
    font-size: 12px;
    font-weight: bold;
    color: #000000;
    padding: 5px;
    text-decoration: none;
    background-color: #EEEEEE;
}
.submenuhover
{
    background-color: #6699CC;
    text-decoration: none !important;
}
.tabmenuitem
{
    font-size: 12px;
    font-weight: bold;
    color: #000000;
    text-decoration: none;
    background-image: url(images/tab.gif);
    background-repeat: repeat-x;
}
.tabmenuselected
{
    font-size: 12px;
    font-weight: bold;
    color: #000000;
    text-decoration: none;
    background-image: url(images/tabselected.gif);
    background-repeat: repeat-x;
}

.shadow
{
    background-image: url(images/shadow.gif);
}

.infobox
{
    background-color: #FFFFCC;
    padding: 8px;
    color: #000000;
    border-style: solid;
    border-width: 1px;
    border-color: #336699;
    text-align: left;
}
.sourcebox
{
    background-color: #FFFFCC;
    padding: 8px;
    color: #000000;
    border-style: solid;
    border-width: 1px;
    border-color: #336699;
    text-align: left;
    font-family: Courier-New;
}
.codebox
{
    background-color: #000000;
    padding: 8px;
    color: #00FF00;
    border-style: solid;
    border-width: 0px;
    border-color: #336699;
    text-align: left;
    font-family: Courier-New;
}

span.c5
{
    background: yellow;
}
span.c4
{
    color: green;
}
span.c3
{
    color: #A31515;
}
span.c2
{
    color: red;
}
span.c1
{
    color: blue;
}

.AnimatingBox
{
    visibility: hidden;
    position: absolute;
    width: 200px;
    text-align: center;
}
.AnimatingBox h1
{
    text-align: center;
}
.AnimatingBox a
{
    color: #336699;
}