user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Rollup merge of #101584 - notriddle:notriddle/settings-menu, r=GuillaumeGomez

Browse source 
rustdoc: remove no-op CSS `#settings-menu { padding: 0 }`

This CSS was added in 5e01ba36c9, and served to override CSS right above it that set a 5px padding for several kinds of buttons in the same toolbar:

5e01ba36c9/src/librustdoc/html/static/css/rustdoc.css (L1400-L1409)

The CSS that it overrode is still there, but now it only applies to `#settings-menu > a`, so there's nothing to override.

24d6992020/src/librustdoc/html/static/css/rustdoc.css (L1445-L1454)
This commit is contained in:
Michael Goulet 2022-09-08 14:41:12 -07:00 • committed by GitHub
commit 7300e4db2d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/librustdoc/html/static/css/rustdoc.css
View file

@ -1444,9 +1444,7 @@ pre.rust {
border-radius: 2px;
cursor: pointer;
}
#settings-menu {
padding: 0;
}
#settings-menu > a, #help-button > button {
padding: 5px;
height: 100%;