diff options
| author | bors <bors@rust-lang.org> | 2022-09-25 09:33:57 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-09-25 09:33:57 +0000 |
| commit | 6f6010b08bd5e5dd0d03d4abf35a3acc4d2433a2 (patch) | |
| tree | 336160a858e310de9df5845078d9cfec9e266f12 /src/librustdoc/html/static/css/rustdoc.css | |
| parent | 8e9c93df464b7ada3fc7a1c8ccddd9dcb24ee0a0 (diff) | |
| parent | c6870ccc5ce454aef260fe63ef76d8b9eab86ac0 (diff) | |
| download | rust-6f6010b08bd5e5dd0d03d4abf35a3acc4d2433a2.tar.gz rust-6f6010b08bd5e5dd0d03d4abf35a3acc4d2433a2.zip | |
Auto merge of #102254 - matthiaskrgr:rollup-gitu6li, r=matthiaskrgr
Rollup of 5 pull requests Successful merges: - #102016 (implied_bounds: deal with inference vars) - #102161 (Resolve async fn signature even without body (e.g., in trait)) - #102216 (rustdoc: Stabilize --diagnostic-width) - #102240 (rustdoc: remove unused CSS `#main-content > .line-numbers`) - #102242 (rustdoc: remove unused CSS `.summary`) 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, 0 insertions, 8 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index 4136cb6cab3..c4da1e46009 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -1130,10 +1130,6 @@ so that we can apply CSS-filters to change the arrow color in themes */ font-size: 1rem; } -.summary { - padding-right: 0px; -} - pre.rust .question-mark { font-weight: bold; } @@ -1917,10 +1913,6 @@ in storage.js plus the media query with (min-width: 701px) border-bottom: 1px solid; } - #main-content > .line-numbers { - margin-top: 0; - } - .notable-traits .notable-traits-tooltiptext { left: 0; top: 100%; |