HTML	{
  margin-left:				1%;
  margin-right:			1%;
  margin-top:				1%;
  margin-bottom:			90%;
}
BODY {
  font-family:	    courier,serif;
  font-size:        10pt;
  background-color: #fff;
  max-width:         600px;
}

HR {  
/*   width:             5px; */
  height:            38px;
  border:            1px solid #000000;
  background-color:  #fff;
} 
}IMG {
  border-width:      0;
}
B {
  color :	     #ffffcc;
}
A {
  text-decoration:   none; 
  color :            #3333ff;
}
A:hover {
   text-decoration:   none;  
	background-color:  #4488ff;
	color:             #0000ff;
}
H1 { 
  font-size:        16pt;
}
H2 { 
  margin-left:	      2%;
  margin-right:	   2%;
  font-size:        14pt;
}
H3 { 
  margin-left:	      3%;
  margin-right:	   3%;
  font-size:        12pt;
}
H4 { 
  margin-left:	      4%;
  margin-right:	   4%;
  font-size:        10pt;
}
P {
  font-size:         10pt;
  margin-left:	      5%;
  margin-right:	   5%;
}
CODE {
	border:            1px solid #000000;	  
	line-height:		 16pt;
   padding:           1px 1px 2px 1px; 
	cursor:				 move;
}

/*
----------  topnav  ----------------------------------------
*/
#topnav {
	border:            1px solid #000000;
	font-size:         18pt;
   font-weight:       bold;
   font-style:        normal;
   padding:           5px 5px 5px 5px; 
   color:	          #4c70fc;
}

/*
----------  menu  ----------------------------------------
*/
#menu A {
   display:				 table-cell;
   width:				 100px;
   text-decoration:	 none;
   font-size:			 12px;
   padding:           2px 2px 2px 2px; 
   border:				 1px solid #000000;
}
#menu A:hover {
   text-decoration:   none;  
	background-color:  #4488ff;
	color:             #0000ff;
}
/*
----------  cvsid  ----------------------------------------
*/
/* for the CVS Tag at the bottom of the page -------------------------------- */
#cvsid { 
  font-family:       Arial, Helvetica, sans-serif;
  font-size:         7pt;
  color:             #555;

}