Better spacing and sizes for (menu) buttons #11355

Job	Run time
android	23s
Format + check + test	5m 29s
Check wasm32 + wasm-bindgen	2m 29s
cargo-deny aarch64-apple-darwin	38s
cargo-deny aarch64-linux-android	40s
Check Windows	2m 33s
cargo-deny i686-pc-windows-gnu	39s
cargo-deny i686-pc-windows-msvc	37s
cargo-deny i686-unknown-linux-gnu	39s
cargo-deny wasm32-unknown-unknown	45s
cargo-deny x86_64-apple-darwin	41s
cargo-deny x86_64-pc-windows-gnu	40s
cargo-deny x86_64-pc-windows-msvc	39s
cargo-deny x86_64-unknown-linux-gnu	37s
cargo-deny x86_64-unknown-linux-musl	40s
cargo-deny x86_64-unknown-redox	40s
	18m 49s

Provide feedback