.rpl2html_frm
{
	background-color:	#E8E8D8;
	border-color:		#D0D0B0;
	border-style:		solid;
	border-width:		3px;
	margin:				1em auto 1em auto;
	padding:			1em 0 0 0;
	width:				90%;
}

.rpl2html_obj
{
	background-color:	#FFFFF8;
	border-color:		#D0D0B0;
	border-style:		solid;
	border-width:		1px;
	color:				Blue;
}

.rpl2html_otx
{
	font-family:		monospace;
	padding:			0 0.2em 0 0.2em;
	white-space:		nowrap;
}

.rpl2html_var
{
	padding:			1em 1em 1em 1em;
	margin:				0   1em 1em 1em;
}

.rpl2html_nam
{
	font-family:		sans-serif;
}

.rpl2html_cmt
{
	color:				gray;
	font-style:			italic;
}