.body01_highlight {
	font-size: 80%;
	color: #0B7581;

}
.body01 {
	font-size: 80%;
}
.body01:link {
	font-size: 80%;
	color: #000000;
	text-decoration: none;
}

.body01:visited {
	font-size: 80%;
	color: #000000;
	text-decoration: none;
}

.body01:hover {
	font-size: 80%;
	color: #FF0000;
}
.body01_ex {
	font-size: 80%;
	color: #FF0000;
	text-decoration: none;
}
.body01_ex:link{
	font-size: 80%;
	color: #FF0000;
	text-decoration: none;
}
.body01_ex:visited{
	font-size: 80%;
	color: #FF0000;
	text-decoration: none;
}