BODY{
  line-height: 136%;
}
H1{
	margin-bottom:0px;
	margin-top:0px;
	padding-bottom:0px;
	padding-top:0px;
}
H2{
	margin-bottom:0px;
	margin-top:0px;
	padding-bottom:0px;
	padding-top:0px;
}
TD{
	font-size: small;
 	line-height: 120%;
}
.menu{
	width:160px;
	/*border-top:dotted 1px #73a1ff*/
	}
.menu div{
	padding-top:5px;
	padding-bottom:5px;
	border-bottom:dotted 1px #73a1ff
	}
a.menu	{
	text-decoration:none;
	font-size:middle;
	font-weight:bold;
	color:#73a1ff;
	}
a:hover {
	color:#ffaa00
	}
.style1 {color: #666666}
.style2 {font-size: x-small;
	color: #0000FF
}
.style4 {color: #FF6600}
.style5 {font-size: large}
.style7 {font-size: large; color: #0000FF; }
.style8 {line-height: 90%;
}
.style10 {color: #0000FF}
.style9 {font-size: small;
	line-height: 110%;
}
.style12 {
	color: #009933;
	font-size: x-small;
}
.style13 {
	color: #0033FF;
	font-size: x-small;
}
.style14 {
	color: #FF6699;
	font-size: x-small;
}
.style15 {font-size: small}