In redesigned rustdoc toolbar: Adjust spacings and sizing to improve behavior with over-long names#131002