/* pagination style */
.pagin 		{padding:5px 0 10px 0;; margin: 0; font-family: "Verdana", sans-serif; font-size: 10pt;}
.pagin * 	{padding: 8px 12px; margin: 0}
.pagin a 	{background: var(--pagin); color: var(--paginfont); text-decoration: none}
.pagin a:visited { background-color: var(--pagin); color: var(--paginfont); text-decoration: none}
.pagin a:hover, .pagin a:active {background: var(--paginhover); color: var(--paginfont); text-decoration: none}
.pagin span {background-color: var(--pagin); color: #fff; cursor: default;}
.pagin span.current {background-color: var(--paginhover); color:var(--paginfont)}