Closed
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
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: