Rollup merge of #101943 - notriddle:notriddle/non-exhaustive, r=Guill…

…aumeGomez rustdoc: remove unused CSS `.non-exhaustive { margin-bottom }` This selector was added in 959a13d to target a `<div class="non-exhaustive">`. With 4edcf61, the non-exhaustive indicator was changed to a `<details>`, and a separate selector targetting `details.non-exhaustive` was added for it, but the old selector was never removed.
rust-lang · Sep 17, 2022 · 5ba52ca · 5ba52ca
2 parents 626c36a + aeddd93
commit 5ba52ca
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css
@@ -1522,10 +1522,6 @@ kbd {
 	list-style: none;
 }
 
-.non-exhaustive {
-	margin-bottom: 1em;
-}
-
 details.dir-entry {
 	padding-left: 4px;
 }