diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-09-04 18:55:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-04 18:55:47 +0200 |
| commit | 43a7438e27b77a0784eacf1adc5c4bbcb75119eb (patch) | |
| tree | 58520e15af66d1f2d8a7a74ae013e79df3bb2b43 /src/librustdoc | |
| parent | 723f0c477bb08012dbde95eb7510a0230579fe6a (diff) | |
| parent | 3e743a064ec341548f2dfb6dafddc2b3d2d66c7f (diff) | |
| download | rust-43a7438e27b77a0784eacf1adc5c4bbcb75119eb.tar.gz rust-43a7438e27b77a0784eacf1adc5c4bbcb75119eb.zip | |
Rollup merge of #101397 - notriddle:notriddle/source-nav-not-sidebar-sub, r=GuillaumeGomez
rustdoc: remove redundant mobile-sized `.source nav:not(.sidebar).sub` It's redundant because there's already a selector `.source nav.sub` with exactly the same margin-left at [line 796]. [line 796]: https://github.com/rust-lang/rust/blob/84f0c3f79a85329dd79a54694ff8a7f427c842e9/src/librustdoc/html/static/css/rustdoc.css#L796 This selector was added in 1e98fb10274ea0245f865ddb1e295e454382000b, along with an identical desktop selector, but that desktop selector was removed in 6a5f8b1aef1417d7dc85b5d0a229d2db1930eb7c as part of a larger simplification.
Diffstat (limited to 'src/librustdoc')
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index fddff771f1c..3502d97d470 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -1883,10 +1883,6 @@ in storage.js plus the media query with (min-width: 701px) background-color: var(--sidebar-background-color); } - .source nav:not(.sidebar).sub { - margin-left: 32px; - } - .content { margin-left: 0px; } |