about summary refs log tree commit diff
diff options
context:
space:
mode:
authorMichael Howell <michael@notriddle.com>2022-09-17 09:00:20 -0700
committerMichael Howell <michael@notriddle.com>2022-09-17 09:00:51 -0700
commitaeddd932a638d3bb803a52128d9b2067a4fa05a2 (patch)
treeaac64cf0ee9478b436793e78f71fcec70b777869
parent672831a5c890f51d3222511ab2575ca7a86c8e20 (diff)
downloadrust-aeddd932a638d3bb803a52128d9b2067a4fa05a2.tar.gz
rust-aeddd932a638d3bb803a52128d9b2067a4fa05a2.zip
rustdoc: remove unused CSS `.non-exhaustive { margin-bottom }`
This selector was added in 959a13d53e27ca92b59798e6c6737f8249d59a2e to
target a `<div class="non-exhaustive">`. With
4edcf6147912e7e4c1f13208d830c3c25e544a8c, 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.
-rw-r--r--src/librustdoc/html/static/css/rustdoc.css4
1 files changed, 0 insertions, 4 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css
index 3995c9fdb01..556a837f5ac 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;
 }