From ee7cc63e04bfdc514c32ad7840a516354545ef3f Mon Sep 17 00:00:00 2001
From: Stefan Schindler <dns2utf8@users.noreply.github.com>
Date: Sat, 22 May 2021 09:01:33 +0000
Subject: [PATCH] Add padding to mobile layout and fix width issue on both

---
 src/librustdoc/html/static/rustdoc.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css
index d213c5cd1563..35248b1024ae 100644
--- a/src/librustdoc/html/static/rustdoc.css
+++ b/src/librustdoc/html/static/rustdoc.css
@@ -772,6 +772,7 @@ a {
 
 .search-results > a {
 	display: block;
+	width: 100%;
 	/* A little margin ensures the browser's outlining of focused links has room to display. */
 	margin-left: 2px;
 	margin-right: 2px;
@@ -1751,6 +1752,7 @@ details.undocumented[open] > summary::before {
 	/* Display an alternating layout on tablets and phones */
 	.search-results > a {
 		border-bottom: 1px solid #aaa9;
+		padding: 5px 0px;
 	}
 	.search-results .result-name {
 		width: 100%;