New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Navigation bar heading is redundant #5130

Closed

zanieb opened this issue Jul 16, 2024 · 0 comments · Fixed by #5316

Labels

Member

zanieb commented Jul 16, 2024

There's a "uv" title at the top of the page, we don't need one at the top of the navigation bar too

Screenshot 2024-07-16 at 3 59 28 PM

zanieb added the documentation label

This was referenced Jul 22, 2024

Reduce spacing between nav items #5310

Merged

Omit the nav bar title when it has no use #5316

Merged

zanieb closed this as completed in #5316

zanieb added a commit that referenced this issue


          Omit the nav bar title when it has no use (#5316)

0c68082

Turns out this is needed for navigation on mobile, but useless on larger
screens.

Closes #5130

<img width="1551" alt="Screenshot 2024-07-22 at 5 47 49 PM"
src="https://github.com/user-attachments/assets/2173549e-e65d-4691-be83-5e3bf0191dd5">
<img width="1551" alt="Screenshot 2024-07-22 at 5 48 02 PM"
src="https://github.com/user-attachments/assets/81012ba8-ce85-4276-8ffa-5c7ef556c389">
<img width="1551" alt="Screenshot 2024-07-22 at 5 48 08 PM"
src="https://github.com/user-attachments/assets/ecf8fcd7-e5d4-45c4-8d46-d09d91a8bbe9">

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment