Skip to content

Give the landing page the same header and navigation as the docs #445

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

Merged
rocklambros merged 1 commit into from
Nov 1, 2026
Merged

Give the landing page the same header and navigation as the docs #445

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 5 additions & 0 deletions docs/stylesheets/extra.css
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -83,6 +83,11 @@
max-width: none;
}

/* The header title is a link to the landing page. Material styles this element as a
div and sets no display, so as an inline anchor it collapses to zero width, and the
absolutely positioned title inside it, sized from it, disappears. */
a.md-header__ellipsis { display: block; }

/* Weight the current page's link in the left pane the way the landing page weights
its own. The nav-item override sets the attribute. */
.md-nav__link[aria-current="page"] { font-weight: 600; }
Loading
Loading