Don't hide navigation on mobile webpage

Don't hide navigation on mobile webpage: a task in requests-pr-diff (Harbor dataset). Title: Don't hide navigation on mobile webpage