Increased font size as per suggestion of @tharris . #885