diff options
| author | Michael Goulet <michael@errs.io> | 2022-09-08 14:41:12 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-08 14:41:12 -0700 |
| commit | 7300e4db2d8ca665b579684edb43ee64be95b546 (patch) | |
| tree | 764e92d4b842fe9d934f46af09ca16cfd8cded37 | |
| parent | b3001230a5d7c822839b6adc8d8c779739de79be (diff) | |
| parent | b9093f40081c0204361e46bd787e6ba7abd58cdd (diff) | |
| download | rust-7300e4db2d8ca665b579684edb43ee64be95b546.tar.gz rust-7300e4db2d8ca665b579684edb43ee64be95b546.zip | |
Rollup merge of #101584 - notriddle:notriddle/settings-menu, r=GuillaumeGomez
rustdoc: remove no-op CSS `#settings-menu { padding: 0 }`
This CSS was added in 5e01ba36c9f1037c4cf3e7421413fc6c41f85d05, and served to override CSS right above it that set a 5px padding for several kinds of buttons in the same toolbar:
https://github.com/rust-lang/rust/blob/5e01ba36c9f1037c4cf3e7421413fc6c41f85d05/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.
https://github.com/rust-lang/rust/blob/24d69920201563f0ee7b530f1cda0f171b205cc2/src/librustdoc/html/static/css/rustdoc.css#L1445-L1454
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index b98a75b483c..2f31a0bb72e 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -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%; |