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````
jackh726 · Apr 29, 2021 · 48db0e4 · 48db0e4
2 parents c0bcf30 + a20831e
commit 48db0e4
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 {