Remove terribly useless and problematic margin when searching on mobile#45280

bors merged 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

GuillaumeGomez:fix-mobile-searchGuillaumeGomez/rust:fix-mobile-searchCopy head branch name to clipboard