Saw this a few days ago myself. Looks slightly odd on my laptop, on which I had no problems accessing the original menu with a mouse, but is a
huge improvement when playing the game on a tablet. The original menu was troublesome on my tablet, and sometimes refused to switch unless I stabbed at it several times, but the version with the larger font is
instantly responsive.
By the way, with the right CSS code, you can make the menu have different fonts on different devices.
CSS Media query is your friend in this regard. You can make the font change when the device is a mobile device, change it whether it's in landscape or portrait orientation, and even choose different fonts for different display sizes. Something for Alan to experiment with offline for the next couple of days.