diff options
| author | bors <bors@rust-lang.org> | 2022-12-29 19:40:06 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-12-29 19:40:06 +0000 |
| commit | ad8ae0504c54bc2bd8306abfcfe8546c1bb16a49 (patch) | |
| tree | f86627123dc427614f56aca1c7cfd2c221bb7b34 /src/librustdoc/html/static/css/rustdoc.css | |
| parent | e37ff7e71a087fcd799d3e59bcd63e3732d351d3 (diff) | |
| parent | 65fb70304a758db5696f20f077bdb1c2620fc31c (diff) | |
| download | rust-ad8ae0504c54bc2bd8306abfcfe8546c1bb16a49.tar.gz rust-ad8ae0504c54bc2bd8306abfcfe8546c1bb16a49.zip | |
Auto merge of #106266 - matthiaskrgr:rollup-cxrdbzy, r=matthiaskrgr
Rollup of 9 pull requests Successful merges: - #104531 (Provide a better error and a suggestion for `Fn` traits with lifetime params) - #105899 (`./x doc library --open` opens `std`) - #106190 (Account for multiple multiline spans with empty padding) - #106202 (Trim more paths in obligation types) - #106234 (rustdoc: simplify settings, help, and copy button CSS by not reusing) - #106236 (docs/test: add docs and a UI test for `E0514` and `E0519`) - #106259 (Update Clippy) - #106260 (Fix index out of bounds issues in rustdoc) - #106263 (Formatter should not try to format non-Rust files) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
Diffstat (limited to 'src/librustdoc/html/static/css/rustdoc.css')
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index e2d6379c2cb..1b29baa3665 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -1317,15 +1317,11 @@ a.test-arrow:hover { -webkit-appearance: none; opacity: 1; } + #settings-menu, #help-button { margin-left: 4px; display: flex; } - -#settings-menu > a, #help-button > a, #copy-path { - width: 33px; -} - #settings-menu > a, #help-button > a { display: flex; align-items: center; @@ -1337,6 +1333,7 @@ a.test-arrow:hover { /* Rare exception to specifying font sizes in rem. Since this is acting as an icon, it's okay to specify their sizes in pixels. */ font-size: 20px; + width: 33px; } #settings-menu > a:hover, #settings-menu > a:focus, @@ -1352,6 +1349,7 @@ a.test-arrow:hover { padding: 0; padding-left: 2px; border: 0; + width: 33px; } #copy-path > img { filter: var(--copy-path-img-filter); |
