Added button-size mixin

This mixin may seem a bit trivial, but given the concerns on the removal of the (finally restored) btn-mini (#7984, #8644, #8886), I propose this helper mixin that would be of help for new users that need different button sizes. Easier customization is always better.