pre
{
	background:#f8f8f8;
	border:1px solid #ddd;
	color:green;
	font:normal normal normal 11px/15px Courier New;
	margin:0 0 20px 0;
	padding:15px 0 0 15px;
	width:100%;
	overflow:hidden;
}

dl.faq dt
{
	font-weight:bold;
}
dl.faq dd
{
	margin:0 0 20px 0;
}

dl.args
{
	overflow:hidden;
	margin:0 0 20px 0;
}
dl.args dt
{
	float:left;
	width:20%;
}
dl.args dd
{
	float:left;
	width:80%;
}
div.doc-left
{
	float:left;
	width:20%;
}
div.doc-right
{
	float:right;
	width:77%;
}