Rollup merge of #104462 - notriddle:notriddle/rightside-padding-right, r=GuillaumeGomez

rustdoc: remove pointless CSS `.rightside { padding-right: 2px }`

This CSS was added in 34bd2b845b, as `.since { padding-right: 2px }`, to prevent it from uncomfortably touching the srclink, which were separate floated elements. It was carried forward with 962c0a4ee5 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.
This commit is contained in:
Matthias Krüger 2022-11-16 15:39:47 +01:00 committed by GitHub
commit 938948ea80
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1048,7 +1048,6 @@ so that we can apply CSS-filters to change the arrow color in themes */
.rightside {
padding-left: 12px;
padding-right: 2px;
float: right;
}