diff options
| author | Michael Howell <michael@notriddle.com> | 2022-09-17 09:00:20 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2022-09-17 09:00:51 -0700 |
| commit | aeddd932a638d3bb803a52128d9b2067a4fa05a2 (patch) | |
| tree | aac64cf0ee9478b436793e78f71fcec70b777869 /library/std/src/sys/unix/stack_overflow.rs | |
| parent | 672831a5c890f51d3222511ab2575ca7a86c8e20 (diff) | |
| download | rust-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.
Diffstat (limited to 'library/std/src/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions