The button's defaults, so the one number a caller is likely to want is reachable.
Padding="10,3,10,5" at 0.75, as the current theme has scaled it.
Padding="10,3,10,5"