.pool_text {
	font-family: Arial, Verdana, Tahoma;
	font-size: 11px;
	text-decoration: none;
	color: #4C4C4C;
}

a.pool_text:hover { text-decoration: underline; }

.pool_proc {
	font-family: Arial;
	font-size: 10px;
	text-decoration: none;
	color: #666666;
}