Remove unneeded bottom margin on search results

GuillaumeGomez · GuillaumeGomez · commit a20831e7a661 · 2021-04-29T11:26:35.000+02:00
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css
@@ -395,7 +395,6 @@ nav.sub {
 #results > table {
 	width: 100%;
 	table-layout: fixed;
-	margin-bottom: 40px;
 }
 
 .content pre.line-numbers {
