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;
     }

td.menu {
       border-right:     #333366 1px solid; 
       border-top:       #333366 1px solid; 
       border-left:      #333366 1px solid; 
       border-bottom:    #333366 1px solid; 
       font-weight:      bold; 
       font-size:        80%; 
       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.5em;
     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.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; 
}

.copyr {
	margin-top: 2em; 
        padding: 0;
        padding-top: 2em;
        font-size: 70%; 
        font-family: Verdana, Arial, Helvetica;
        color: #3D58A9;
}
div.txt, ul, table.args
   {
    color: #000970;
    color: #000000;
   }

div.txt {
        margin: 0;  
	margin-top: 3px; 
	margin-bottom: 2px; 
        font-size: 70%; 
        padding: 0;
        font-family: Verdana, Arial, Helvetica;
}


ul { 
        margin: 0;  
	margin-top: 0.5em; 
        font-size: 70%; 
        padding: 0;
        font-family: Verdana, Arial, Helvetica;
        list-style-image: url(images/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: Fixedsys, Verdana, Arial, Helvetica; 
        background-color: #f1f1f1;
        color: black;
}
table.args {
        font-size:      60%; 
        font-family:    Verdana, Arial, Helvetica;
        margin:         0;
        margin-top:     0.5em; 
        margin-bottom:  0.5em; 
      }
table.args td {
        text-align:     left;
        border-top:     #333366 1px solid; 
        font-style:     italic;
        padding:        0.5em;
        padding-top:    0.2em;
        padding-bottom: 0.2em;
              }
table.args td.td2 {
        border-left:    #333366 1px solid; 
        font-style:     normal;
              }
table.args th {
        text-align:     left;
        font-weight:    bold; 
        padding:        0.5em;
        padding-top:    0.2em;
        padding-bottom: 0.2em;
              }
table.args th.th2 {
        border-left:    #333366 1px solid; 
              }

p.alarm {
        color: red;
}