rustdoc: use a button instead of a bar for search#133279

notriddle wants to merge 1 commit intorust-lang:masterrust-lang/rust:masterfrom

notriddle:notriddle/search-buttonnotriddle/rust:notriddle/search-buttonCopy head branch name to clipboard