ride_4ever

I feel like this is the sort of thing where just as many don't want the font to be smaller, though, so it's just what's popular versus what's actually not working. If the display were borked somehow, I'd report it, but just 'can the font be smaller' is right up there with folks who need black text on white versus white text on black.