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.
|
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:
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 > .sidebarto.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:
Final: