diff options
| author | Michael Howell <michael@notriddle.com> | 2022-10-29 09:59:53 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2022-10-29 09:59:53 -0700 |
| commit | a3c56e0428762730f988409128b7238fcdfedc6a (patch) | |
| tree | 9b946075425e1db0662d21cd02f09a0a1dfc6c81 | |
| parent | 9565dfeb4e6225177bbe78f18cd48a7982f34401 (diff) | |
rustdoc: remove unnecessary `.search-results { padding-bottom }`
There's nothing underneath it anyway. The conversation on b615c0c85469c94041a5e68b9d8b68dcf799f9f1 never really spelled out why it was added.
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index 09371dc027b..f301776aa7d 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -878,7 +878,6 @@ so that we can apply CSS-filters to change the arrow color in themes */ .search-results { display: none; - padding-bottom: 2em; } .search-results.active { |