-
Notifications
You must be signed in to change notification settings - Fork 13.6k
Closed
Labels
T-rustdocRelevant to the rustdoc team, which will review and decide on the PR/issue.Relevant to the rustdoc team, which will review and decide on the PR/issue.
Description
docs.rs and rustdoc aren't playing nicely together as we can see here (it's pretty much broken):
To fix this, we should modify the selector from body > .sidebar
to .rustdoc > .sidebar
.
rust/src/librustdoc/html/static/rustdoc.css
Lines 959 to 967 in 775eab5
body > .sidebar { | |
height: 45px; | |
min-height: 40px; | |
margin: 0; | |
margin-left: -15px; | |
padding: 0 15px; | |
position: static; | |
z-index: 1; | |
} |
After:
By futher modifying docs.rs's css with something like:
@media (max-width: 700px) {
div.rustdoc {
padding-top: 0;
}
div.rustdoc .sidebar {
padding-top: 0 !important;
}
#sidebar-filler {
display: none;
}
}
Final:
mominul, memoryruins and snejugalmemoryruins, jonas-schievink and hcpl
Metadata
Metadata
Assignees
Labels
T-rustdocRelevant to the rustdoc team, which will review and decide on the PR/issue.Relevant to the rustdoc team, which will review and decide on the PR/issue.