Skip to content

Remove redundant CSS properties from hidden elements #142

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

Draft
Copilot wants to merge 6 commits into
base: main
Choose a base branch
from
+2 −59
Draft

Remove redundant CSS properties from hidden elements #142

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
0839f15
Maybe fix GH Pages
wallstop Jan 12, 2026
e6fec07
Maybe fix GH Pages
wallstop Jan 12, 2026
242c88d
Initial plan
Copilot Jan 12, 2026
6bf9dd9
Remove redundant CSS properties from hidden elements
Copilot Jan 12, 2026
3fdf432
Remove redundant child styles for hidden parent elements
Copilot Jan 12, 2026
8b1616d
Remove redundant header ul style in media query
Copilot Jan 12, 2026
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
47 changes: 2 additions & 45 deletions assets/css/style.scss
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,25 +12,6 @@
ul.downloads,
.downloads {
display: none !important;
visibility: hidden !important;
height: 0 !important;
margin: 0 !important;
padding: 0 !important;
border: none !important;
background: transparent !important;
}

/* Remove borders between download list items (backup if shown) */
.downloads li {
border: none !important;
border-right: none !important;
border-left: none !important;
border-top: none !important;
border-bottom: none !important;
}

.downloads a {
border: none !important;
}

/* Section - remove ALL borders in all states */
Expand All @@ -43,29 +24,9 @@ section {
outline: none !important;
}

/* Header - remove bottom line that appears as "random line" */
/* Note: box-shadow is intentionally NOT removed here to allow Issue #127 sticky header shadow */
/* Header - hide entirely (content is duplicated from README) */
header {
border: none !important;
border-bottom: none !important;
outline: none !important;
}

header ul {
border: none !important;
background: transparent !important;
box-shadow: none !important;
}

header li {
border: none !important;
border-right: none !important;
}

header p,
header h1,
header a {
border: none !important;
display: none !important;
}

/* Footer - remove top line and any borders around "Hosted on GitHub Pages" */
Expand Down Expand Up @@ -107,10 +68,6 @@ div.wrapper {
border: none !important;
border-width: 0 !important;
}

header ul {
border: none !important;
}
}

@media print, screen and (max-width: 720px) {
Expand Down
14 changes: 0 additions & 14 deletions assets/css/theme.css
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -947,12 +947,6 @@ pre code {
padding: 15px 10px !important;
margin-top: 30px !important;
}

/* Issue #127: Adjust scroll margin for smaller header on tablet */
h1, h2, h3, h4, h5, h6,
section h1, section h2, section h3, section h4, section h5, section h6 {
scroll-margin-top: 90px;
}
}

/* Mobile screens (320px - 480px) */
Expand Down Expand Up @@ -1037,12 +1031,6 @@ pre code {
inset-inline-end: 6px !important;
padding: 5px 8px !important;
}

/* Issue #127: Adjust scroll margin for smaller header on mobile */
h1, h2, h3, h4, h5, h6,
section h1, section h2, section h3, section h4, section h5, section h6 {
scroll-margin-top: 80px;
}
}

/* Very small screens (below 320px) */
Expand Down Expand Up @@ -1080,7 +1068,6 @@ section img {
}

/* Improve heading spacing */
/* Issue #127: scroll-margin-top ensures anchor links don't hide content under sticky header */
section h1,
section h2,
section h3,
Expand All @@ -1089,7 +1076,6 @@ section h5,
section h6 {
margin-top: 1.5em !important;
margin-bottom: 0.5em !important;
scroll-margin-top: 100px;
}

section h1:first-child,
Expand Down