body { background-color: #FFFFFF; margin: 5px 5px 6px 6px; }
.MENU0 { text-decoration: none; line-height: 170%; color: rgb(0,0,102); 
	 font-family: Helvetica, Sans-Serif; font-weight: Bold; }
.MENU0:hover { background-color: rgb(200,200,200); }
.MENU0sel { text-decoration: none; line-height: 170%; color: rgb(102,0,0); 
	  font-family: Helvetica, Sans-Serif; font-weight: Bold; }
.MENU0sel:hover { background-color: rgb(200,200,200); }
.MENU1 { text-decoration: none; line-height: 170%; color: rgb(0,0,102);
         font-family: Helvetica, Sans-Serif; font-weight: Bold; }
.MENU1:hover { background-color: rgb(200,200,200); }
.MENU1sel { text-decoration: none; line-height: 170%; color: rgb(102,0,0); 
         font-family: Helvetica, Sans-Serif; font-weight: Bold; }
.MENU1sel:hover { background-color: rgb(200,200,200); }
.MENU2 { text-decoration: none; line-height: 150%; color: rgb(0,0,102); 
         font-family: Helvetica, Sans-Serif; font-size: 80%; font-weight: Bold; }
.MENU2:hover { background-color: rgb(200,200,200); }
.MENU2sel { text-decoration: none; line-height: 150%; color: rgb(102,0,0); 
         font-family: Helvetica, Sans-Serif; font-size: 80%; font-weight: Bold; }
.MENU2sel:hover { background-color: rgb(200,200,200); }
.MENU3 { text-decoration: none; line-height: 150%; color: rgb(0,0,102); 
        font-family: Helvetica, Sans-Serif; font-size: 80%; }
.MENU3:hover { background-color: rgb(200,200,200); }
.MENU3sel { text-decoration: none; line-height: 150%; color: rgb(102,0,0); 
        font-family: Helvetica, Sans-Serif; font-size: 80%; }
.MENU3sel:hover { background-color: rgb(200,200,200); }
.MENU4 { text-decoration: none; line-height: 150%; color: rgb(0,0,102); 
        font-family: Helvetica, Sans-Serif; font-size: 80%; }
.MENU4:hover { background-color: rgb(200,200,200); }
.MENU4sel { text-decoration: none; line-height: 150%; color: rgb(102,0,0); 
        font-family: Helvetica, Sans-Serif; font-size: 80%; }
.MENU4sel:hover { background-color: rgb(200,200,200); }
.heading { font-family: Helvetica, Sans-Serif;  font-weight: 900; font-size: x-large;
	   color: rgb(0,0,102); }
H1 { font-family: Helvetica, Sans-Serif; font-size: x-large;
	margin-right: 5px; margin-left: 5px; margin-top: 10px; margin-bottom: 10px; }
H2, H3, H4, H5, H6 { font-family: Helvetica, Sans-Serif; 
	margin-right: 5px; margin-left: 5px; margin-top: 10px; margin-bottom: 0px; }
P {font-family: Times, Serif; text-indent: 0em ;
        margin-right: 5px; margin-left: 5px; margin-top: 2px; margin-bottom: 10 px; }
B {font-family: Helvetica, sans-serif; }
.pLayer {font-family: Helvetica, sans-serif; font-size: 14px; background-color: #DDEEFF;
	padding: 5px; border-width: thin; border-color: rgb(0,0,102); border-style: solid; }
.hint {font-family: Helvetica, sans-serif; font-size: 14px; background-color: #DDEEFF;
	padding: 5px; border-width: thin; border-color: rgb(0,0,102); border-style: solid; }
.keywords {text-align: left; margin: 8px 0px; }
.reference {text-indent: -25px; margin-left: 30px; margin-bottom: 0px; }
div.linkbox { display: block; clear: both; background-color: #DDEEFF;
    margin: 20px; padding: 10px; font-family: Helvetica, Sans-Serif;
    border-style: solid; border-width: 1px; border-color: #888888}
.copy { font-family: Helvetica, sans-serif; font-size: smaller; color: #666666; margin-top: 15px; }
LI { margin-bottom: 10px; margin-top: 0px; }
.glossname {margin: 10px 5px 0px 5px; font-family: Helvetica, Sans-Serif; font-weight: Bold; }
.glossdesc {margin: 0px 5px 0px 30px; }
.smoddlbox {background: #dddddd; border-style: solid; border-width: 1px;}
th.heading { font-weight : bold; font-size : 150%; font-family: Helvetica, Sans-Serif; color: 000000}
td.subheading { font-weight : bold; font-size : 100%; background-color: #b2daf3 ; font-family: Helvetica, Sans-Serif; }
.description { font-size : 80%; font-family: Helvetica, Sans-Serif; }
td.ok { font-size : 80%; font-family: Helvetica, Sans-Serif; }
td.alarm { font-weight : bold; font-size : 100%; background-color: ff0000; color: ffffff; font-family: Helvetica, Sans-Serif; }
td.off { font-weight : bold; font-size : 80%; background-color: ffff00; font-family: Helvetica, Sans-Serif; }
td.recover { font-weight : bold; font-size : 80%; background-color: 00ffcc; font-family: Helvetica, Sans-Serif; }
td.lastfile { font-weight : bold; font-size : 80%; background-color: ffa500; color: ffffff; font-family: Helvetica, Sans-Serif; }

td.ddddata { font-weight : bold; font-style : italic; font-size : 80%; text-align : center; font-family: Helvetica, Sans-Serif; }