Merge pull request #259 from lowjoel/fix-bad-input-height
Fix the height of the input box on high-res displays.

(main@5b36432b80e69769872f8895a6a0903e425ce51c)