Rollup merge of #84690 - GuillaumeGomez:unneeded-bottom-margin-search-results, r=Nemo157

jackh726 · web-flow · commit 8460539f2853 · 2021-04-29T19:27:24.000-04:00
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``````
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 {

Original file line number	Diff line number	Diff line change
`@@ -391,7 +391,6 @@ nav.sub {`
`391`	`391`	`#results > table {`
`392`	`392`	`width: 100%;`
`393`	`393`	`table-layout: fixed;`
`394`		`- margin-bottom: 40px;`
`395`	`394`	`}`
`396`	`395`
`397`	`396`	`.content pre.line-numbers {`