title: GWT2.4 how to get margin width in GWT, which was set in css
body: <p>I set a margin for a panel in css. Now I need to get the margin width in GWT. How could I do this?
  For example, I set a css style for the panel </p>
  
  <pre><code>   &lt;ui:binder&gt;
    .panel{
     margin: 5px;
     }
  
  
    &lt;g:HTMLPanel Ui:field=myPanel styleName="{style.panel}" /&gt;   
    &lt;/ui:binder&gt;
  </code></pre>
  
  <p>In GWT 2.4, how can I retrieve the margin value (5px) in GWT class.
  I have tired these, DOM.getIntStyleAttribute(myPanel.getElement(), "margin"),
  DOM.getIntStyleAttribute(myPanel.getElement(), "marginWidth"), and myPanel.getElement().getStyle().getMargin(). all of these return 0.</p>
  
  <p>How can I get the margin width then?</p>
  
  <p>Thanks for replying. </p>
  
  <p>Regards</p>