div .textBox div.page_number a{
	padding:1px 7px;
	border:1px solid #ccc;
	background-color:#eee;
	color:#777;
	text-decoration:none;
}
div .textBox div.page_number a:hover{
	background-color:#EF613B;
	color:#eee;
	font-weight:bold;
}
div .textBox div.page_number .marked{
	background-color:#EF613B;
	color:#eee;
	font-weight:bold;
}