Miner: Dig Deep: Update for choosing text size

The size of the text/UI can now be increased from the options screen.