updated margin representation in GWT for components