Ticket #873: Fix for pagination hover color change.