try to fix tidy issues

This commit is contained in:
Infra 2022-07-08 01:54:55 -04:00 committed by GitHub
parent 0b50007760
commit 933cbd4069
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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