SVGHMI: cosmetic fixes in button widget
svghmi
2020-12-07, Edouard Tisserant