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
You are expecting that the CSS large/small/x-small/etc match those of
TeX.
No, that is not the expectation. (It would be impossible, anyway. All
these things are dynamically changeable in TeX.)
The expectation is that firefox not reduce the size used when
font-size:smaller is specified
2008/11/5 Jonathan Grant <[EMAIL PROTECTED]>:
> 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 rese
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
In the printed manual, is text
smaller or the same size as text?
The result of @smallexample is smaller than the result of @example in
printed manuals.
Definitely each user can change the default browser settings, but I
would hope pages would be readable without browser modifica
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
2008/11/3 Karl Berry <[EMAIL PROTECTED]>:
>>> 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'd like to hear from other people
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On Mon, Nov 03, 2008 at 01:00:31PM -, Jonathan Grant wrote:
> Hello Karl,
[...]
> Perhaps GCC could use @example rather than @smallexample ?
[lurker's opinion here, so take with appropriate amount of salt]
I concur with Karl here. It's the comb
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 things. The effect should be similar to using
...
On Mon, 3 Nov 2008, Jonathan Grant wrote:
> Perhaps GCC could use @example rather than @smallexample ?
Consistent use of @smallexample comes from changes made for the printed
manual published by GNU Press. GNU Press hasn't exactly been cooperative
with the GCC community in merging their change
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
>> 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'd like to hear from other people about whether the examples are too
small in their
[ [EMAIL PROTECTED] -> [EMAIL PROTECTED] ]
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.or
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:
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
15 matches
Mail list logo
