]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #104462 - notriddle:notriddle/rightside-padding-right, r=GuillaumeGomez
authorMatthias Krüger <matthias.krueger@famsik.de>
Wed, 16 Nov 2022 14:39:47 +0000 (15:39 +0100)
committerGitHub <noreply@github.com>
Wed, 16 Nov 2022 14:39:47 +0000 (15:39 +0100)
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 were separate floated elements. It was carried forward with 962c0a4ee59e3c1a2413e785694c9433ffd0a9e1 to the new `.rightside`, but its role was replaced with adding " &bull; " 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.

1  2 
src/librustdoc/html/static/css/rustdoc.css