Hi Manuel, Karl,
Thank you for your replies.
[...]
> You are expecting that the CSS large/small/x-small/etc match those of
> TeX. They are not matched. I don't know what formula TeX uses but
> Firefox uses a lookup table that is available here:
>
> http://mxr.mozilla.org/mozilla/source/layout/st
Hi Karl,
Thank you for your reply
[..]
> If some examples use @example and some examples use @smallexample, the
> resulting inconsistency looks quite bad as well (in both printed manuals
> and HTML).
>
> I doubt the GCC folks want to research and rewrite their examples to use
> shorter lines (so
Hi Karl,
Thanks for your reply.
> Does @smallexample come out as 8pt or so? It definitely looks
> smaller than 10pt on my screen.
>
> It comes out as whatever your browser tells it to, hopefully depending
> on what font size you have set. This is why different users see
> different thi
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 re
Hello
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
