improve print styles

this change removes some interactive elements in `@media print` form.

more specifically, it removes the source links, the expand/collapse toggle buttons, and the `#copy-path` button.
it also adjusts some spacing and removes the `.top-doc` description completely if it's currently collapsed.
This commit is contained in:
Infra 2022-07-08 01:29:35 -04:00 committed by GitHub
parent 9b21131278
commit 0b50007760
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2056,9 +2056,19 @@ in storage.js plus the media query with (min-width: 701px)
}
@media print {
nav.sub, .content .out-of-band {
nav.sidebar, nav.sub, .content .out-of-band, a.srclink, #copy-path,
details.rustdoc-toggle[open] > summary::before, details.rustdoc-toggle > summary::before,
details.rustdoc-toggle.top-doc > summary {
display: none;
}
.docblock {
margin-left: 0;
}
main {
padding-left: 15px;
}
}
@media (max-width: 464px) {