diff options
| author | Jack Huey <31162821+jackh726@users.noreply.github.com> | 2021-04-29 19:27:24 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-29 19:27:24 -0400 |
| commit | 8460539f28538331bfc40139a9ceaa648e979b47 (patch) | |
| tree | e0bba397c00bae8a1023e1982debae35233f53d4 | |
| parent | 92c95916c18489a88e375b3a0cf267418e5c8c9b (diff) | |
| parent | a20831e7a6617953e8e9d3f94140a558feb1e8ce (diff) | |
| download | rust-8460539f28538331bfc40139a9ceaa648e979b47.tar.gz rust-8460539f28538331bfc40139a9ceaa648e979b47.zip | |
Rollup merge of #84690 - GuillaumeGomez:unneeded-bottom-margin-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:  r? ``````@Nemo157``````
| -rw-r--r-- | src/librustdoc/html/static/rustdoc.css | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index 1c5c9fe2e1c..a95c90e999f 100644 --- 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 { |