diff options
| author | Michael Howell <michael@notriddle.com> | 2022-11-15 13:23:21 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2022-11-15 13:23:21 -0700 |
| commit | 74969ac2d1161ed5089b85fa3d48b4ab1310e5ac (patch) | |
| tree | 0163ed3809e2c4f1b5a9cca5576401ee48d8ef2e /compiler/rustc_codegen_llvm/src | |
| parent | 6d651a295e0e0c331153288b10b78344a4ede20b (diff) | |
| download | rust-74969ac2d1161ed5089b85fa3d48b4ab1310e5ac.tar.gz rust-74969ac2d1161ed5089b85fa3d48b4ab1310e5ac.zip | |
rustdoc: remove pointless CSS `.rightside { padding-right: 2px }`
This CSS was added in 34bd2b845b3acd84c5a9bddae3ff8081c19ec5e9, as
`.since { padding-right: 2px }`, to prevent it from uncomfortably touching
the srclink, which was a separate floated element. It was carried forward
with 962c0a4ee59e3c1a2413e785694c9433ffd0a9e1 to the new `.rightside`, but
its role was replaced with adding " • " between them. All it does now
is pushes the element 2px away from the page's right margin.
Removing this rule changes the page layout, but you have to look for it to
notice it.
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions