<!DOCTYPE HTML>
<style>
div { font-size: 12px; line-height: 1.0; width: 450px }
input { font-size: 12px; }
input { height: 50px }
</style>
<!--
Because this input has a fixed height (and also a fixed width), font
inflation should be disabled.
-->
<div><input type="text" value="Hello world" size="15"></div>
