fixed nav bar for empty repos (fixes #4375)