Changes (reduces) button size in bootstraptheme, configure now allows setting the buttons size to medium or large [#893]