title: Where is the source code for Android's Button widget style?
body: <p>My Android app uses Button widgets with default style, which looks fine except on my Galaxy Tab 10.1. There, the default button style seems to have changed to a dark background with black text; it looks awful.</p>
  
  <p>I have tried manually applying the default, built-in button style in XML like this; the problem tablet doesn't change behavior and the well-behaved devices also do not change:</p>
  
  <pre><code>&lt;Button
    style="@android:style/Widget.Button"
    &lt;!-- other stuff --&gt;
    /&gt;
  </code></pre>
  
  <p>The catch is that another built-in Button style <em>does</em> appear nicely (standard black text on grey background) on the misbehaving tablet:</p>
  
  <pre><code>&lt;Button
    style="@android:style/Widget.Button.Small"
    &lt;!-- other stuff --&gt;
    /&gt;
  </code></pre>
  
  <p>The trouble, of course, is that this style makes the button smaller. What I'd really like to do is just find the standard source code (XML, Java, whatever) for Widget.Button and copy-paste it into my app.</p>
  
  <p>Where can I find that source code?</p>