Rollup merge of #102242 - notriddle:notriddle/summary, r=GuillaumeGomez

rustdoc: remove unused CSS `.summary`

It was added in 4d16de01d0 as part of a stability dashboard that was removed in 0a46933c4d.
This commit is contained in:
Matthias Krüger 2022-09-25 09:32:10 +02:00 committed by GitHub
commit c6870ccc5c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1130,10 +1130,6 @@ so that we can apply CSS-filters to change the arrow color in themes */
font-size: 1rem;
}
.summary {
padding-right: 0px;
}
pre.rust .question-mark {
font-weight: bold;
}