diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-09-17 23:30:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-17 23:30:51 +0200 |
| commit | 5ba52ca002bd1ee2d7f9fe1969c21e8faaf9edac (patch) | |
| tree | f9190579513ec3407e87bbaa5d008a37433aa59b /src | |
| parent | 626c36a88d14d4446734e7b717d7e67efa2479d8 (diff) | |
| parent | aeddd932a638d3bb803a52128d9b2067a4fa05a2 (diff) | |
| download | rust-5ba52ca002bd1ee2d7f9fe1969c21e8faaf9edac.tar.gz rust-5ba52ca002bd1ee2d7f9fe1969c21e8faaf9edac.zip | |
Rollup merge of #101943 - notriddle:notriddle/non-exhaustive, r=GuillaumeGomez
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.
Diffstat (limited to 'src')
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 4 |
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; } |
