Skip to content

CSS tweaks for the sidebar and source code page #1267

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 6 commits into from
Dec 18, 2024
Merged

CSS tweaks for the sidebar and source code page #1267

Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
267c6c4
css: Reduce font size for the sidebar top-level item
Julow Dec 18, 2024
0ddc5f0
css: Tweak current unit highlight in sidebar
Julow Dec 18, 2024
fd45c31
css: Unindent local content sidebar
Julow Dec 18, 2024
be8f1aa
css: Reduce margin after title when no preamble
Julow Dec 18, 2024
a9e7112
css: Reduce margin above source code pages
Julow Dec 18, 2024
438b348
css: Tweak number line color in source code pages
Julow Dec 18, 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
18 changes: 8 additions & 10 deletions src/html_support_files/odoc.css
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -230,7 +230,7 @@


--source-line-column: var(--fg3);
--source-line-column-bg: var(--bg1);
--source-line-column-bg: var(--bg_h);

--source-code-comment: var(--gray);
--source-code-docstring: var(--green-dim);
Expand Down Expand Up @@ -364,7 +364,8 @@ body.odoc-src {
margin-top: 0;
}

header {
/* Add margin after the preamble if it contains more than one element. */
header.odoc-preamble:has(> :nth-child(2)) {
margin-bottom: 30px;
}

Expand Down Expand Up @@ -460,7 +461,7 @@ a:hover:not(.img-link) {
}

/* Linked highlight */
*:target {
*:target, .current_unit {
background-color: var(--target-background) !important;
border-radius: 1px;
border: var(--target-border) 1px solid !important;
Expand Down Expand Up @@ -930,7 +931,6 @@ body.odoc:has( .odoc-search) .odoc-toc {

.odoc-toc.odoc-global-toc > ul > li > ul > li {
font-weight: 500;
font-size: 500;
}

.odoc-toc.odoc-global-toc > ul > li > ul > li > a {
Expand All @@ -939,11 +939,7 @@ body.odoc:has( .odoc-search) .odoc-toc {
}

.odoc-toc.odoc-global-toc > ul > li > a {
font-size: 2em;
}

.current_unit {
background-color: var(--anchor-color);
font-size: 1.2em;
}

:root {
Expand Down Expand Up @@ -1239,7 +1235,7 @@ body.odoc:has( .odoc-search) .odoc-toc {
font-weight: 500;
}

.odoc-toc li ul {
.odoc-toc ul li ul {
margin: 0px;
padding-top: 0.25em;
}
Expand All @@ -1253,6 +1249,7 @@ body.odoc:has( .odoc-search) .odoc-toc {
}

.odoc-toc>ul>li {
margin-left: 0;
margin-bottom: 0.3em;
}

Expand Down Expand Up @@ -1375,6 +1372,7 @@ body.odoc:has( .odoc-search) .odoc-toc {
.source_container {
display: flex;
grid-area: content;
margin-top: 0;
}

.source_line_column {
Expand Down
Loading