user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

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

Browse source 
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``````
This commit is contained in:
Jack Huey 2021-04-29 19:27:24 -04:00 • committed by GitHub
commit 8460539f28
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/librustdoc/html/static/rustdoc.css
View file

@ -391,7 +391,6 @@ nav.sub {
#results > table {
width: 100%;
table-layout: fixed;
margin-bottom: 40px;
}
.content pre.line-numbers {