/*Non-standardized styles (i.e. those not yet part of CSS2/3) are found here to allow successful validation of other styles*/
/* Pointer-events: https://developer.mozilla.org/en-US/docs/Web/CSS/pointer-events*/
.pagination a.currentpage{
	pointer-events: none;
}
.pagination a.disablelink,
.pagination a.disablelink:hover{
	pointer-events: none;
}