Add a bit more padding in search box#93382

Merged

bors merged 1 commit intorust-lang:masterfrom

GuillaumeGomez:search-input-padding

Feb 16, 2022

Commits on Feb 9, 2022

Add a bit more padding on search padding and reduce its font size
GuillaumeGomez
committed