Add margin after doc search results

cjgillot · Jul 10, 2020 · 2ca24b6 · 2ca24b6
1 parent f844ea1
commit 2ca24b6
Showing 1 changed file with 1 addition and 0 deletions.
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 {