diff options
| author | bors <bors@rust-lang.org> | 2022-10-17 11:33:40 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-10-17 11:33:40 +0000 |
| commit | abd77441010d74430be5c34a2e62002e578fa165 (patch) | |
| tree | 9bca7964fdcdbcb3f2088a4fa37124a5582c2e01 /src/librustdoc/html/static/css/rustdoc.css | |
| parent | c19a893f87e70fc1c9bab193c3f9c83d9a9d71d3 (diff) | |
| parent | bb3f60b847ef725124beb097d1b30115bfb3e499 (diff) | |
| download | rust-abd77441010d74430be5c34a2e62002e578fa165.tar.gz rust-abd77441010d74430be5c34a2e62002e578fa165.zip | |
Auto merge of #103145 - matthiaskrgr:rollup-mxwsysv, r=matthiaskrgr
Rollup of 4 pull requests Successful merges: - #102962 (remote-test-server: Show command line arguments) - #103129 (rustdoc: remove unused `.sub-logo-container` DOM on non-source pages) - #103136 (Fix types in documentation for `Alignment::as_usize` and `Alignmnet::as_nonzero`) - #103139 (Duplicate comment in mod.rs) 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 | 16 |
1 files changed, 3 insertions, 13 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index 271dd177a4b..4bfc8ada280 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -372,15 +372,11 @@ img { } .sub-logo-container { - display: none; - margin-right: 20px; -} - -.source .sub-logo-container { display: block; + margin-right: 20px; } -.source .sub-logo-container > img { +.sub-logo-container > img { height: 60px; width: 60px; object-fit: contain; @@ -1716,12 +1712,6 @@ in storage.js plus the media query with (max-width: 700px) margin-top: 16px; } - /* When we expand the sidebar on the source code page, we hide the logo on the left of the - search bar to have more space. */ - .source-sidebar-expanded .source .sidebar + main .width-limiter .sub-logo-container.rust-logo { - display: none; - } - .source-sidebar-expanded .source .sidebar { width: 300px; } @@ -2025,7 +2015,7 @@ in storage.js plus the media query with (min-width: 701px) align-self: center; } - .source .sub-logo-container > img { + .sub-logo-container > img { height: 35px; width: 35px; } |
