a:link
{
    font-weight: bold;
    font-size: 12px;
    color: #0a246a;
    font-family: arial, sans-serif;
    text-decoration: none;
}
a:visited
{
    font-weight: bold;
    font-size: 16px;
    color: #5062A9;
    font-family: arial, sans-serif;
    text-decoration: none;
}
a:active
{
    font-weight: bold;
    font-size: 12px;
    color: #0066cc;
    font-family: arial, sans-serif;
    text-decoration: underline;
}
a:hover
{
    font-weight: bold;
    font-size: 16px;
    color: #0066cc;
    font-family: arial, sans-serif;
    text-decoration: underline;
}
a.menu:link
{
    font-weight: bold;
    font-size: 12px;
    color: #0a246a;
    font-family: arial, sans-serif;
    text-decoration: none;
}
a.menu:visited
{
    font-weight: bold;
    font-size: 12px;
    color: #0a246a;
    font-family: arial, sans-serif;
    text-decoration: none;
}
a.menu:active
{
    font-weight: bold;
    font-size: 12px;
    color: #0a246a;
    font-family: arial, sans-serif;
    text-decoration: none;
}
a.menu:hover
{
    font-weight: bold;
    font-size: 12px;
    color: #0a246a;
    font-family: arial, sans-serif;
    text-decoration: none;
}
a.submenu:link
{
    font-weight: bold;
    font-size: 11px;
    color: #0a246a;
    font-family: arial, sans-serif;
    text-decoration: none;
}
a.submenu:visited
{
    font-weight: bold;
    font-size: 11px;
    color: #0a246a;
    font-family: arial, sans-serif;
    text-decoration: none;
}
a.submenu:active
{
    font-weight: bold;
    font-size: 11px;
    color: #0a246a;
    font-family: arial, sans-serif;
    text-decoration: none;
}
a.submenu:hover
{
    font-weight: bold;
    font-size: 11px;
    color: #0a246a;
    font-family: arial, sans-serif;
    text-decoration: none;
}
a.big:link
{
    font-weight: bold;
    font-size: 14px;
    color: #0a246a;
    font-family: arial, sans-serif;
    text-decoration: none;
}
a.big:visited
{
    font-weight: bold;
    font-size: 14px;
    color: #4d5e80;
    font-family: arial, sans-serif;
    text-decoration: underline;
}
a.big:active
{
    font-weight: bold;
    font-size: 14px;
    color: #0066cc;
    font-family: arial, sans-serif;
    text-decoration: underline;
}
a.big:hover
{
    font-weight: bold;
    font-size: 14px;
    color: #0066cc;
    font-family: arial, sans-serif;
    text-decoration: underline;
}
body
{
    font-size: 12px;
    font-family: arial, sans-serif;
    background-color: #8999FF;
}
li
{
    font-weight: normal;
    font-size: 12px;
    color: black;
    font-style: normal;
    font-family: arial, sans-serif;
}
ul
{
    font-weight: normal;
    font-size: 12px;
    color: black;
    font-style: normal;
    font-family: arial, sans-serif;
}
p.norm
{
    font-weight: normal;
    font-size: 10pt;
    color: black;
    font-style: normal;
    font-family: arial, sans-serif;
}
p.centered
{
    font-weight: normal;
    font-size: 12px;
    color: black;
    font-style: normal;
    font-family: arial, sans-serif;
    text-align: justify;
}
pre
{
        background-color: #fbfbf9;
        border-right: #dcdcdc 1px solid;
    padding-right: 10px;
    border-top: #dcdcdc 2px solid;
    padding-left: 10px;
    font-size: 12px;
    padding-bottom: 1px;
    border-left: #dcdcdc 2px solid;
    width: 100%;
    color: #000000;
    padding-top: 4px;
    border-bottom: #dcdcdc 2px solid;
    font-family: "Courier New", monospace;
}
pre.noborder
{
        background-color: #fbfbf9;
    border-right: #dcdcdc 0px solid;
    padding-right: 10px;
    border-top: #dcdcdc 0px solid;
    padding-left: 10px;
    font-size: 12px;
    padding-bottom: 4px;
    border-left: #dcdcdc 0px solid;
    width: 100%;
    color: #000000;
    padding-top: 4px;
    border-bottom: #dcdcdc 0px solid;
    font-family: "Courier New", monospace;
}
p.captiontable
{
    margin-top: 10px;
    font-size: 11px;
    text-align: center;
}
p.captionlisting
{
    margin-top: -10px;
    font-size: 11px;
    text-align: center;
}
p.captionfigure
{
    margin-top: -10px;
    font-size: 11px;
    text-align: center;
}
td
{
    font-size: 12px;
    font-family: arial, sans-serif;
}
td.cell
{
    padding-right: 8px;
    padding-left: 8px;
    font-weight: normal;
    font-size: 12px;
    padding-bottom: 2px;
    color: black;
    padding-top: 2px;
    font-style: normal;
    font-family: arial, sans-serif;
}
th
{
    padding-right: 8px;
    padding-left: 8px;
    font-weight: bold;
    font-size: 12px;
    padding-bottom: 2px;
    color: black;
    padding-top: 2px;
    font-style: normal;
    font-family: arial, sans-serif;
}
th.cell
{
    padding-right: 8px;
    padding-left: 8px;
    font-weight: bold;
    font-size: 12px;
    padding-bottom: 2px;
    color: black;
    padding-top: 2px;
    font-style: normal;
    font-family: arial, sans-serif;
    background-color: #dcdcdc;
}
h1
{
    font-size: 21px;
    margin: 0px;
    color: white;
}
h2
{
    font-size: 19px;
}
h3
{
    font-size: 16px;
}
h1.main
{
    font-size: 26px;
    color: black;
}
span.italic
{
    font-style: italic;
}
span.bold
{
    font-weight: bold;
}
span.keyword
{
    font-weight: bold;
    color: #000066;
}
span.file
{
    font-style: italic;
}
span.name
{
    font-style: italic;
}
span.bookauthor
{
   font-family: arial, sans-serif;
}
span.code
{
    font-size: 12px;
    font-family: "courier new", monospace;
}
span.noborder
{
    border-right: 0px;
    border-top: 0px;
    margin: 0px;
    border-left: 0px;
    border-bottom: 0px;
}
span.smalltext
{
    font-size: 10px;
}
span.fixedfont
{
    font-size: 12px;
    color: #000000;
    font-family: "courier new", monospace;
}
span.redfont
{
    color: red;
}
span.bluefont
{
    color: blue;
}
span.namex
{
        font-size:9pt;
        color:#606060;
        font-family:arial;
        font-weight:bold;
}

td.menu{
        background-color: #fafafa;
        border-style: solid;
        border-color: #fafafa;
        border-width: 1px;
}

td.hover{
        background-color: #b6bdd2;
        border: 1px solid #14246a;
        cursor: hand;
}

td.tlmenu{
        background-color:#f3f3f3;
        border-style: solid;
        border-color: #c0c0c0;
        border-width: 1px;
}

td.tlmenu_s{
        background-color:#f3f3f3;
        border-style: solid;
        border-color: #c0c0c0;
        border-width: 1px;
        vertical-align: middle;
        width: 20%;
        text-align: center;
}
td.tlhover_s{
        background-color: #b6bdd2;
        border: 1px solid #14246a;
        cursor: hand;
        vertical-align: middle;
        width: 20%;
        text-align: center;
}

td.tlhover{
        background-color: #b6bdd2;
        border: 1px solid #14246a;
        cursor: hand;
}

.menuskin{
    position:absolute;
    background-color:#fafafa;
    border: 2px solid #c0c0c0;
    font:normal 12px Verdana;
    line-height:18px;
    z-index:100;
    visibility:hidden;
}

span.token { font-size:12px; color:#000080; font-family:"courier new", monospace;}
span.comment { font-size:12px; color:#008000; font-family:"courier new", monospace;}

span.onlineuserfont { font-size:10px;}

div.box
{
    background-color: #fbfbf9;
    border-right: #dcdcdc 2px solid;
    padding-right: 10px;
    border-top: #dcdcdc 2px solid;
    padding-left: 10px;
    padding-bottom: 4px;
    border-left: #dcdcdc 2px solid;
    width: 100%;
    color: #000000;
    padding-top: 4px;
    border-bottom: #dcdcdc 2px solid;
    font-size: 12px;
    font-family: "Courier New", monospace;
}