Add margin after doc search results

diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css
index 9c6dd25394db0e8ed4d1c1c0beffbf9cd36eaa3e..e6dd76f546670d5982f05f53cdcbbf3711a60136 100644 (file)
--- a/src/librustdoc/html/static/rustdoc.css
+++ b/src/librustdoc/html/static/rustdoc.css
@@ -361,6 +361,7 @@ nav.sub {
 #results > table {
        width: 100%;
        table-layout: fixed;
+       margin-bottom: 40px;
 }
 
 .content pre.line-numbers {