.body2 { font-size: 10px; font-style: normal; line-height: 13px }
.body3n { font-size: 12px; font-style: normal; line-height: 12px }
.body3{ font-size: 13px; font-style: normal; line-height: 15px }
.body3h{ font-size: 13px; font-style: normal; line-height: 15px; font-weight:bold }
.body4 { font-size: 15px; font-style: normal; line-height: 17px }
.body4 { font-size: 15px; font-style: normal; line-height: 22px }
.body4h { font-size: 15px; font-style: normal; line-height: 22px; font-weight:bold }

.keyword {
	color: #cc0000
}

body {
	margin: 0px;
}

.m_frame      { border: solid 1px #666666; }
.m_frame_bold { border: solid 2px #666666; }
.m_bgcol { background: #666666; }
.m_color { color: #666666; }
.s_bgcol { background: #cccccc; }
.l_bgcol { background: #efefef; }

.mcolortext {
	color: #999999;
}

.labelstring {
	color: #333333;
	font-size: 12px;
	font-weight: bold;
}

.normalstring, .status {
	font-size: 12px;
	line-height: 125%;
}

p, ul, dd, dt {
	font-size: 12px;
	line-height: 135%;
}

examples {
	font-size: 12px;
	line-height: 135%;
}
.anotherstring {
	color: #666666;
	font-size: 12px;
	line-height: 125%;
}

.whitestring {
	color: #ffffff;
	font-size: 12px;
}

.whitestring_b {
	color: #ffffff;
	font-size: 12px;
	font-weight: bold;
}

.errorstring {
	color: #cc0000;
	font-size: 14px;
	font-weight: bold;
	line-height: 125%;
}

.comment {
	color: #cc3366;
	font-size: 10px;
	line-height: 125%;
}
.copyright {
	color: #333333;
	font-size: 10px;
}
//-->
</style>