Rollup merge of rust-lang#93382 - GuillaumeGomez:search-input-padding…

…, r=jsha

Add a bit more padding in search box

As asked in rust-lang#93113 (comment), here is a bit more padding.

You can check it [here](https://rustdoc.crud.net/imperio/search-input-padding/foo/index.html).

r? `@camelid`

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%;