fix #9743: pager hover background should be light gray