/* Paginator
-----------------------------------------------------------------------------*/
DIV.paginator {
	margin: 0px 0px 20px 0px;
}
DIV.paginator DIV {
	display: inline;
}
DIV.paginator .selected_page {
	font-weight: bold;
	border: 1px solid #CCCCCC;
	padding: 1px 5px 1px 5px;
	background-color: #EEEEEE;
}
DIV.paginator .next_page, DIV.paginator .last_page,
DIV.paginator .previous_page, DIV.paginator .first_page,
DIV.paginator .last_separator, DIV.paginator .next_separator,
DIV.paginator .first_separator, DIV.paginator .previous_separator,
DIV.paginator .next_separator_after, DIV.paginator .previous_separator_after {}