#document_manager { 
}
#document_manager .title { 
	font-size:13px;
	font-family:Arial;
	color:#1F6D98;
	font-weight:bold;
}
#document_manager .subcat { 
	font-size:12px;
	font-weight:bold;
}
#document_manager .doclink { 
	font-size:13px;
	font-family:Arial;
	font-weight:bold;
}
#document_manager a { 
	color:#1F6D98;
	font-weight:bold;
	text-decoration: none;
}
#document_manager a:hover { 
	color:#6CC828;
}
/* Holy hack */
/* Hides from IE5-mac \*/
* html #document_manager {height: 1%;}
/* End hide from IE5-mac */