[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [help-texinfo] Re: small font in gcc online docs
From: |
Jonathan Grant |
Subject: |
RE: [help-texinfo] Re: small font in gcc online docs |
Date: |
Mon, 3 Nov 2008 13:00:31 -0000 |
Hello Karl,
Thanks for your reply.
> >> I see in the HTML this is the code causing the small font:
> >>
> >> pre.smallexample { font-size:smaller }
>
> I don't know of any way to say "use a slightly smaller font" in
> HTML/CSS. That is, this is what CSS provides, afaik.
>
> The reason that the above css exists at all is because users requested
> that @smallexample (the Texinfo command in question) produce smaller
> output than the regular @example, including in HTML. (Like
> @smalldisplay, @smallformat, @smallisp, and now @smallquotation.)
> Personally I don't have strong feelings about it.
Perhaps GCC could use @example rather than @smallexample ?
Does @smallexample come out as 8pt or so? It definitely looks smaller than
10pt on my screen.
Kind regards, Jon
- [help-texinfo] Re: small font in gcc online docs, Gerald Pfeifer, 2008/11/02
- Re: [help-texinfo] Re: small font in gcc online docs, Karl Berry, 2008/11/02
- RE: [help-texinfo] Re: small font in gcc online docs,
Jonathan Grant <=
- RE: [help-texinfo] Re: small font in gcc online docs, Joseph S. Myers, 2008/11/03
- RE: [help-texinfo] Re: small font in gcc online docs, Karl Berry, 2008/11/03
- RE: [help-texinfo] Re: small font in gcc online docs, Jonathan Grant, 2008/11/04
- RE: [help-texinfo] Re: small font in gcc online docs, Karl Berry, 2008/11/04
- RE: [help-texinfo] Re: small font in gcc online docs, Jonathan Grant, 2008/11/05
- Re: [help-texinfo] Re: small font in gcc online docs, Manuel López-Ibáñez, 2008/11/07
- Re: [help-texinfo] Re: small font in gcc online docs, Karl Berry, 2008/11/05
- RE: [help-texinfo] Re: small font in gcc online docs, Jonathan Grant, 2008/11/07
- Re: [help-texinfo] Re: small font in gcc online docs, tomas, 2008/11/04
Re: [help-texinfo] Re: small font in gcc online docs, Himanshu, 2008/11/04