Fix the height of the input box on high-res displays.

Fixes #242.