I see, but do you think the font looks really bad? I remember we tweaked it and it improved a lot; these days it doesn't even bother me anymore—it really is much better, and I don't see anything too bad. Of course, I don't know how it looks at lower resolutions, but I think I'll add a few more options for the size and format of the menus; I'll think of something.