Rollup merge of rust-lang#84690 - GuillaumeGomez:unneeded-bottom-marg…

…in-search-results, r=Nemo157 Remove unneeded bottom margin on search results As you can see, there is still more than enough space at the bottom: ![Screenshot from 2021-04-29 11-26-57](https://user-images.githubusercontent.com/3050060/116530090-ea797800-a8dd-11eb-8eef-2288cf68e0d2.png) r? `@Nemo157`
Dylan-DPC-zz · Apr 29, 2021 · 7067850 · 7067850
2 parents 0d1b41b + a20831e
commit 7067850
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css
@@ -391,7 +391,6 @@ nav.sub {
 #results > table {
 	width: 100%;
 	table-layout: fixed;
-	margin-bottom: 40px;
 }
 
 .content pre.line-numbers {