diff options
| author | Michael Howell <michael@notriddle.com> | 2022-11-03 13:22:54 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2022-11-03 13:22:54 -0700 |
| commit | c51c07d30fbaa813775168bb01a678c0813a0b93 (patch) | |
| tree | 7440f41c5fee65550e962636bf60e2c88f49ddf8 /compiler/rustc_trait_selection/src | |
| parent | 160b19429523ea44c4c3b7cad4233b2a35f58b8f (diff) | |
| download | rust-c51c07d30fbaa813775168bb01a678c0813a0b93.tar.gz rust-c51c07d30fbaa813775168bb01a678c0813a0b93.zip | |
rustdoc: remove no-op CSS `#main-content > .item-info { margin-top: 0 }`
When this line was added in 04b4c40682c01cad8f9bc8d5b3907be91d6f81d4, it overrode a negative `margin-top` that was set on it by default. https://github.com/rust-lang/rust/blob/04b4c40682c01cad8f9bc8d5b3907be91d6f81d4/src/librustdoc/html/static/rustdoc.css#L500-L516 That negative top margin was removed in 593d6d1cb15c55c88319470dabb40126c7b7f1e2.
Diffstat (limited to 'compiler/rustc_trait_selection/src')
0 files changed, 0 insertions, 0 deletions