[Dillo-dev] patch for UI and font_factor

I just tried changing the value of FL_NORMAL_SIZE, and I was very surprised by how well everything copes overall. If I had bad vision and needed, say, font_factor=1.4, I'd _strongly_ prefer this patch despite the various bits of UI size hardcoding that it reveals. - I think the Tools menu imperfection comes from "if (flags & (FL_MENU_TOGGLE|FL_MENU_RADIO)) w += 14;" in Fl_Menu.cxx, but I haven't taken the minute to verify that yet. - Choice5 does not handle it well. I made a nicer choice5 a few months ago, but Jorge didn't like it.