0000014: Page navigator: buttons should be hightlited when mouse navigation on them