Rollup merge of #99045 - 1011X:patch-1, r=GuillaumeGomez

improve print styles

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

more specifically, it removes the sidebar, 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:
Matthias Krüger 2022-07-10 11:52:14 +02:00 committed by GitHub
commit 0dd5c75eff
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: 10px;
}
}
@media (max-width: 464px) {