#document_manager { 
	font-size:10pt;
	font-family:Verdana;
	color:#000000;
	background-color:none;
}
#document_manager .title {
	font-size:14pt;
	font-family:Verdana;
	color:#DE8D18;
	font-weight:bold;
}
#document_manager .subcat {
	font-size:12pt;
	font-family:Verdana;
	color:#000000;
	font-weight:normal;
	text-decoration: underline;
}
#document_manager .doclink {
	font-size:12pt;
	font-family:Verdana;
	color:#DE8D18;
	font-weight:normal;
}
#document_manager a {
	font-size:10pt;
	font-family:Verdana;
	color:#666666;
	font-weight:normal;
	text-decoration: none;
}
/* Holy hack */
/* Hides from IE5-mac \*/
* html #document_manager {height: 1%;}
/* End hide from IE5-mac */