diff options
| author | Michael Howell <michael@notriddle.com> | 2022-09-11 18:43:52 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2022-09-11 18:43:52 -0700 |
| commit | 2d239fbb9cb0cbc81e01ab0675e27f57e1812813 (patch) | |
| tree | 3576a5c6cc5d4facc5ce839c3b80ee115ef1b787 /src/librustdoc/html/static | |
| parent | bff8078fb41f34f65dbde7d25ed465ff1c3c4b2b (diff) | |
| download | rust-2d239fbb9cb0cbc81e01ab0675e27f57e1812813.tar.gz rust-2d239fbb9cb0cbc81e01ab0675e27f57e1812813.zip | |
rustdoc: remove no-op `#search`
The padding rule was added in 135281ed1525db15edd8ebd092aa10aa40df2386 when converting the rule for #main, but didn't do anything even then.
Diffstat (limited to 'src/librustdoc/html/static')
| -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 cefed3f42ec..72e04decbe3 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -1891,10 +1891,6 @@ in storage.js plus the media query with (min-width: 701px) margin-top: 10px; } - #search { - padding: 0; - } - .anchor { display: none !important; } |