Skip to content

Fix github hover#8

Open
ggcr wants to merge 1 commit intokornia:masterfrom
ggcr:master
Open

Fix github hover#8
ggcr wants to merge 1 commit intokornia:masterfrom
ggcr:master

Conversation

@ggcr
Copy link

@ggcr ggcr commented Nov 9, 2025

Hey there,

Was browsing the website and noticed that the GH repos are not accessible from the dropdown:

This PR just adds a before element to make the gap between the nav "GitHub" text and the hovering contents be small:

dropdown-fix-comparison.mp4

Tested this with

uv run -m http.server .

@edgarriba
Copy link
Member

@shijianjian

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants