Disable scaling on mobile devices, use 'pt' sizes

Sacrifice some portability in order to avoid awkward re-scaling of the
display when entering and exiting text boxes on the iPhone 5.