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 · aeddd93 · aeddd93
1 parent 672831a
commit aeddd93
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;
 }