From b12d92647d1a41849a5148b671e9bf5c7bd2750b Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume.gomez@huawei.com>
Date: Thu, 27 Jan 2022 17:55:39 +0100
Subject: [PATCH] Add a bit more padding on search padding and reduce its font
 size

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

diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css
index 04112c9779b36..3c2972dc789f7 100644
--- a/src/librustdoc/html/static/css/rustdoc.css
+++ b/src/librustdoc/html/static/css/rustdoc.css
@@ -933,7 +933,7 @@ table,
 	outline: none;
 	border: 1px solid;
 	border-radius: 2px;
-	padding: 5px 8px;
+	padding: 8px;
 	font-size: 1rem;
 	transition: border-color 300ms ease;
 	width: 100%;