[help-texinfo] Re: small font in gcc online docs

[Gerald Pfeifer]

[ address@hidden -> address@hidden ]

On Sun, 2 Nov 2008, Gerald Pfeifer wrote:
> On Tue, 21 Oct 2008, Jonathan Grant wrote:
>> I noticed that in the default Firefox3 configuration on my 1280x1024 display
>> your code samples on this page are tiny, and v.hard to read:
>> 
>> http://gcc.gnu.org/onlinedocs/gcc/Inline.html
>> 
>> I see in the HTML this is the code causing the small font:
>> 
>> pre.smallexample { font-size:smaller }
>> 
>> Would you consider just using regular sized text?
>>
>> The CSS for <code>inline</code> doesn't have this problem, so you could 
>> even display it that way?
>
> Thanks for reporting this, Jonathan.  We are using a tool called texinfo 
> (makeinfo) to generate those pages on gcc.gnu.org, using the default 
> settings there, so let me redirect this to the texinfo mailing list.
> 
> 
> (I just realized that gcc.gnu.org still uses texinfo 4.8, so if later
> versions have this changed, I could ask the admins to upgrade.)