/* Pagination */
div.pagination {
   font-family:Arial, Helvetica, sans-serif;
   font-size:11px;
	height: 1%; /* IE tweak (holly hack) */
	width: auto;
	text-align: right;
	margin-top: 5px;
	float: right;
}
div.pagination a {
	font-weight: normal;
	text-decoration: none;
	color: #747474;
	margin: 0 2px;
	padding: 0 2px;
	background-color: #eeeeee;
	border: 1px solid #bababa;
	font-size: 0.9em;
	line-height: 1.5em;
}
div.pagination a:hover, div.pagination a:active {
	border-color: #003399;
	background-color: #003399;
	color: #FFF;
	text-decoration: none;
}
div.pagination span.current {
	padding: 0 2px;
	margin: 0 2px;
	font-weight: normal;
	color: #FFFFFF;
	border: 1px solid #003399;
	background-color: #003399;
	font-size: 0.9em;
}
div.pagination span.disabled {
	padding: 0 2px;
	margin: 0 2px;
	font-weight: normal;
	border: 1px solid #EEE;
	color: #DDD;
	font-size: 0.9em;
}