title: GWT - how to change checkbox properties
body: <p>I have a (an?) <code>UiBinder</code> which creates checkbox element this way:</p>
  
  <pre><code>&lt;g:CheckBox ui:field="ignoreCase"/&gt;     
  </code></pre>
  
  <p>in the java code, it uses this method to set the text</p>
  
  <pre><code>ignoreCase.setText(UIConverter.getUILocalization().get(UINames.IgnoreCase));
  </code></pre>
  
  <p>The result, in elements inspector is:</p>
  
  <pre><code>&lt;span class="gwt-CheckBox FindEntDlgIgnoreCase"&gt;
      &lt;input type="checkbox" value="on" id="gwt-uid-255" tabindex="0"&gt;
      &lt;label for="gwt-uid-255"&gt;Ignore case&lt;label&gt;
  &lt;/span&gt;
  </code></pre>
  
  <p>I want to add the <code>input</code> element style property: <code>margin-left:5px</code>, but I don't find a way to get the <code>input</code> element.</p>
  
  <p>How can I access it?</p>