body { 
       margin:25px; 
       font-family:verdana,arial,helvetica; 
       font-size:medium; 
       background-color:white; 
       color: #3d58a9; 
     }
div.indent {
       padding: 0;  
       margin:0;
       margin-left:1em;
     }

div.vind {
       padding: 0;  
       margin:0;
       margin-top:1em;
     }

table {
        font-size: 100%; 
        vertical-align: top; 
      }
td  {vertical-align: top; 
     padding: 0; 
     margin: 0; 
    }


table.menu td {vertical-align: bottom;
              }
table.menu td.menu {
       border-right:     #333366 1px solid; 
       border-top:       #333366 1px solid; 
       border-left:      #333366 1px solid; 
       border-bottom:    #333366 1px solid; 
       vertical-align:   middle;
       font-weight:      bold; 
       font-size:        60%; 
       color:            #c0c0e2; 
       height:           1.2em; 
       background-color: #3D58A9;
}

a.menui         { color: #ffffff; text-decoration: none      }
a.menui:hover   { color: #acacd7; text-decoration: underline }
a.menuia:hover, a.menuia  
   { color: #ffffbb; text-decoration: none      }

a  {color: #3d58a9;
    text-decoration: none;
   }

a:hover  {color: #3d58a9;
          text-decoration: underline;
         }

h1 { color: #3d58a9; 
     padding-left: 0;
     font-weight: bold; 
     font-size: 100%;  
     padding-bottom: 0.1em;
     padding-top: 0.5em;
     font-family: Arial; 
     margin: 0; 
}

h2 { color: #3d58a9; 
     padding: 0;
     padding-top: 0.8em;
     margin: 0; 
     font-weight: bold; 
     font-size: 80%;  
     font-family: Verdana, Arial, Helvetica; 
}

h5 {
        margin: 0;  
	margin-top: 8px; 
        font-size: 70%; 
        font-weight: bold; 
        padding: 0;
        font-family: Verdana, Arial, Helvetica;
        color: #000000;
        color: #3d58a9; 
}

hr { color: #000000}
body, table /* Normal */
{
 font-size: 10pt;
 font-family: 'Arial';
 font-style: normal;
 font-weight: normal;
 color: #000000;
 text-decoration: none;
}
p /* Normal */
{
 text-align: left;
 text-indent: 0px;
 padding: 0px 0px 0px 0px;
 margin: 0px 0px 0px 0px;
}

hr.ln { 
     padding: 0;
     margin:  0;
     border-top-style: solid; 
     border-top_width: thick; 
     border-top-color: #3D58A9; 
     height: 0.1em;
}

div.nav {
	padding: 0;
	padding-bottom: 0.2em;
	margin: 0;
	margin-bottom: 0.5em;
	font-size: 70%;
	font-weight: bold;
	border-bottom: #acacd7 2px solid;
	border-bottom-color: #FF0000;
}

.copyr {
	margin-top: 2em; 
        padding: 0;
        padding-top: 2em;
        font-size: 70%; 
        font-family: Verdana, Arial, Helvetica;
        color: #3D58A9;
}
div.txt, ul, td
   {
    color: #000000;
    color: #000970;
   }

div.txt {
        margin: 0;  
	margin-top: 3px; 
	margin-bottom: 2px; 
        font-size: 70%; 
        padding: 0;
        font-family: Verdana, Arial, Helvetica;
}


ul { 
        margin: 0;  
        margin-left:1em;
	margin-top: 0.5em; 
        font-size: 70%; 
        padding: 0;
        font-family: Verdana, Arial, Helvetica;
        list-style-image: url(li.gif);
   }

li { margin: 0; 
     padding: 0;  
     padding-bottom: 0.2em; 
}

.code {
	margin: 0;
	margin-top: 5px;
	padding: 10px;
	padding-left: 20px;
	font-size: 70%;
	FONT-FAMILY: Verdana, Arial, Helvetica;;
	background-color: #F4FFF6;
	color: black;
}

p.alarm {
        color: red;
}

table.synd 
       {font-size: 70%; 
        padding-left:  0px; 
        padding-right: 10px; 
        margin-top: 8px;
        margin-bottom: 8px;
       }
td.syni {font-style: italic; 
         padding-left: 0; 
         padding-right: 20px;
        }
td.synid {padding-left: 5px; 
          padding-right: 0;
         }
table.constlist {margin-top: 0.5em;
                 margin-bottom: 0.5em;
                }
td.consti, td.constd 
          {font-size: 90%; 
           padding: 0; 
           padding-right: 5px; 
           margin-top: 1px; 
           margin-bottom: 1px;
          }
td.consti {font-style: italic;}

span.f_CodeExample /* Code Example */
{
 font-size: 8pt;
 font-family: 'Courier New';
 color: #000000;
}
span.f_CourierFixed /* Courier Fixed */
{
 font-size: 9pt;
 font-family: 'Courier New';
 color: #000000;
}
span.f_Heading1 /* Heading1 */
{
 font-size: 12pt;
 font-weight: bold;
}
span.f_ImageCaption /* Image Caption */
{
 font-size: 8pt;
 font-weight: bold;
}

.p_CodeExample /* Code Example */
{
 white-space: nowrap;
}

