I'm sure it is meant to be like this (e.g. not a bug or browser flaw), but is it correct that the button text does not use the font size declared higher up?
<div style="font-size:10px;">
This text would be 10px sized
<div>
This text would be 10px sized
</div>
<input type="button" value="OK" />
</div>