diff options
| author | Dylan DPC <99973273+Dylan-DPC@users.noreply.github.com> | 2022-09-12 15:21:36 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-12 15:21:36 +0530 |
| commit | 9bf89e72184c4f598360f81cea7612759b560372 (patch) | |
| tree | 47e5492a1a49f10d116eb686896e8ab3e6c68dc4 | |
| parent | 228a8bd168ae897283c00e55c799535fa1e5d1b2 (diff) | |
| parent | 2d239fbb9cb0cbc81e01ab0675e27f57e1812813 (diff) | |
| download | rust-9bf89e72184c4f598360f81cea7612759b560372.tar.gz rust-9bf89e72184c4f598360f81cea7612759b560372.zip | |
Rollup merge of #101706 - notriddle:notriddle/search-mobile, r=GuillaumeGomez
rustdoc: remove no-op `#search` The margin rule was added in c729e4dca7581fcd060978bcb0d7f98ea4eb6b82 to remove an unnecessary left margin that was present on desktop. This desktop-mode margin was itself removed in 135281ed1525db15edd8ebd092aa10aa40df2386. The padding rule was added in 135281ed1525db15edd8ebd092aa10aa40df2386 when converting the rule for `#main`, but didn't do anything even then.
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index 31fced21ce8..72e04decbe3 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -1891,11 +1891,6 @@ in storage.js plus the media query with (min-width: 701px) margin-top: 10px; } - #search { - margin-left: 0; - padding: 0; - } - .anchor { display: none !important; } |