~~NOTRANS~~ ~~Title: Button styles~~ The standard button can be customized with styles, e.g. [[flutterui:slider_button|Slider button]] or [[flutterui:text_button|Text button]]. But there are more additional styles for a button. Our button has a minimum size of 48x48 pixels. This is necessary for touch events because your fingers need some space for device contact. But sometimes 48x48 is too much. To style a button on your own, just use: Style.addStyleNames(button, "f_small"); and the button size is as it is. If you define margins for your button, we also calculate the size as it is, but sometimes you want the default height, so we introduced the style: ''f_standard_size'' which takes care of minimum default height.