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