Add margin after doc search results

GuillaumeGomez · GuillaumeGomez · commit 2ca24b618e40 · 2020-07-10T16:33:25.000+02:00
diff --git 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 {
