[sugar] default font too big?

[Marco Pesenti Gritti]

Owen Williams wrote:
> On Fri, 2006-12-08 at 12:39 -0500, Celeste Lyn Paul wrote:
>   
>> Are you inquiring about changing font size just for your development purposes 
>> or in general?  If it is just to make things more comfortable for youself, 
>> I'm not sure how you would adjust those settings.
>>
>> However, if you are talking about the general interface, remember that 
>> children are going to be using these interfaces, not adults.  When reading 
>> text on a screen, children prefer larger, sans-serif fonts.
>>
>> The usability lab at Wichita has done a lot of research on reading text on 
>> screen,  here is one study in particular as a reference: 
>> http://psychology.wichita.edu/surl/usabilitynews/3W/fontJR.htm
>>
>>     
>
>
> I'd rather not change my own font settings just to make myself happy,
> because I want to know that I'm looking at the same screen all the kids
> will be.  I thought the current size was based on assumptions of
> readability of the swizzled screen, and was more of a guess than a final
> decision.  If the current font size is based on that research, then
> that's good enough for me.  
>   

The current setup is basically... random ;) The HIG has a section about 
font size which we should implement. Patches are welcome.

Marco