Rollup merge of #102936 - notriddle:notriddle/nav-sum, r=Dylan-DPC

rustdoc: remove unused CSS `nav.sum`

This was added in 4fd061c426902b0904c65e64a3780b21f9ab3afb, but never actually used.
This commit is contained in:
Dylan DPC 2022-10-12 22:13:26 +05:30 committed by GitHub
commit dcf7052b13
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -563,8 +563,6 @@ h2.location a {
.rustdoc .example-wrap {
display: flex;
position: relative;
}
.rustdoc .example-wrap {
margin-bottom: 10px;
}
/* For the last child of a div, the margin will be taken care of
@ -718,7 +716,6 @@ nav.sub {
.source nav.sub {
margin-left: 32px;
}
nav.sum { text-align: right; }
nav.sub form { display: inline; }
a {