From a3c56e0428762730f988409128b7238fcdfedc6a Mon Sep 17 00:00:00 2001 From: Michael Howell Date: Sat, 29 Oct 2022 09:59:53 -0700 Subject: [PATCH] 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. --- src/librustdoc/html/static/css/rustdoc.css | 1 - 1 file changed, 1 deletion(-) diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index 09371dc027b80..f301776aa7d11 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 {