Make SearchNav more mouse-friendly; also easier method to search by date
נכון ליום 05-11-2022. ראה הגרסה האחרונה.
