body {
	font-size: 12px;
	line-height: 1.5em;
}
.nhed1 {
	font-size: 14px;
	color: #FFFFFF;
	background-color: #003366;
	margin: 3px;
	padding: 3px;
	height: 20px;

}
.n1 {
	font-size: 12px;
	margin-left: 15px;
}
.n2 {
	font-size: 12px;
	line-height: 1.5em;
	margin-left: 20px;
}
.nhed2 {
	font-size: 14px;
	color: #000000;
	background-color: #CCCCCC;
	margin: 3px;
	height: 20px;
	padding: 3px;


}
#menubox {
	height: 250px;
	overflow: scroll;
	width: 150px;
	background-color: #EEEEEE;

}
.f80 {
	font-size: 80%;
	line-height: 1.5em;
}
#left {
float:left;
	margin: 2px;
	padding: 2px;

	width: 150px;
	border: 1px solid #0000FF;
}
#stip {
float:left;
	font-size: 12px;
	line-height: 1.5em;
	width: 600px;
height: 500px;
	border: 1px solid #003366;
	margin-right: 0px;
	margin-left: auto;
	padding: 3px;
	overflow: scroll;
}