From aeddd932a638d3bb803a52128d9b2067a4fa05a2 Mon Sep 17 00:00:00 2001 From: Michael Howell Date: Sat, 17 Sep 2022 09:00:20 -0700 Subject: [PATCH] rustdoc: remove unused CSS `.non-exhaustive { margin-bottom }` This selector was added in 959a13d53e27ca92b59798e6c6737f8249d59a2e to target a `
`. With 4edcf6147912e7e4c1f13208d830c3c25e544a8c, the non-exhaustive indicator was changed to a `
`, and a separate selector targetting `details.non-exhaustive` was added for it, but the old selector was never removed. --- src/librustdoc/html/static/css/rustdoc.css | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index 3995c9fdb01b2..556a837f5ac87 100644 --- 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; }