SVGHMI: Add button element to HMI:DropDown, also fix problem with computed box margins.
svghmi
2020-04-14, Edouard Tisserant