#109 increase xMargin from 5 to 8 for rectangular push buttons (for real this time, set it to 7.5 in previous commit)