pre 
{
	border: 1px solid gray;
	padding: 5px;
	margin: 2px;
}

div
{
	font-family: Arial, Tahoma, Verdana, sans-serif;
	font-size: 10pt;
	
	margin-bottom: 5px;
}

A, A:link, A:visited
{
	color: #406080;	
}

A:hover 
{
	color: #000;
}

A.aux, A.aux:link
{
	font-size: 8pt !important;
}

div.description
{
	background-color: #fcfcfc;
	border-left: 4px solid gray;
	padding: 10px;
}

div.description .title
{
	font-size: 12pt;
	font-weight: bold;
	padding: 2px;
	border-bottom: 1px solid gray;
}

div.description .body
{
	padding: 2px;
}