Skip to content

Hide hamburger on desktop #1237

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
merged 3 commits into from
Dec 15, 2024
Merged

Hide hamburger on desktop #1237

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
c2c0c19
Clean up the duplicate definitions and unnecessary print styling
sunblaze Dec 13, 2024
de48f06
Hides the navigation toggle when there's enough room to always displa…
sunblaze Dec 13, 2024
9320ca0
Update lib/rdoc/generator/template/darkfish/css/rdoc.css
st0012 Dec 15, 2024
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
26 changes: 8 additions & 18 deletions lib/rdoc/generator/template/darkfish/css/rdoc.css
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -292,6 +292,14 @@ main {
main {
margin-left: var(--sidebar-width);
}

.table-of-contents main {
margin-left: 20em;
}

#navigation-toggle {
display: none;
}
}

main h1[class] {
Expand All @@ -311,12 +319,6 @@ main h6 {
color: var(--highlight-color);
}

@media (min-width: 1024px) {
.table-of-contents main {
margin-left: 20em;
}
}

/* Search */
#search-section {
padding: 1em;
Expand Down Expand Up @@ -514,18 +516,6 @@ main header h3 {
.hide { display: none !important; }
.initially-hidden { display: none; }

/* Media Queries */
@media (min-width: 1024px) {
/* Styles for larger screens */
.table-of-contents main {
margin-left: 20em;
}
}

@media print {
/* Print-specific styles */
}

/* Table of Contents */
.table-of-contents ul {
margin: 1em;
Expand Down
Loading