Repeated button-size mixin

Fixes #4589