Auto merge of #80412 - GuillaumeGomez:fix-search-section-pos, r=jyn514

Fix search section position on small devices

Fixes #79526.

This is exactly the same issue fixed in 9c36491 (in #79936) but applied to the search section. When the width becomes too small, the search input goes on its own line to get more space, making it go "under" the section following (so either "main" or "search"). The fix is to simply make the section go more under so that it doesn't go over the search input.

r? `@jyn514`

Author: bors

src/librustdoc/html/static/rustdoc.css

@@ -1582,7 +1582,10 @@ h4 > .notable-traits {
 		height: 73px;
 	}
 
-	#main {
+	/* This is to prevent the search bar from being underneath the <section>
+	 * element following it.
+	 */
+	#main, #search {
 		margin-top: 100px;
 	}