bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: texinfo bug or user error: dots inside example


From: Eli Zaretskii
Subject: Re: texinfo bug or user error: dots inside example
Date: Tue, 15 Oct 2002 08:13:36 +0200 (IST)

On Mon, 14 Oct 2002, Karl Berry wrote:

>     This isn't valid HTML 4.01
> 
> What's not valid about <small>?  It's also used for @sc.
> 
> Anyway, there's nothing deep about the <small>, it was just inserted
> because someone (I'm not sure who any more) thought the ... looked
> better that way.

That'd be me:

  1999-02-18  Eli Zaretskii  <address@hidden>

          * makeinfo/cmds.c (cm_dots, cm_enddots): Don't produce &#133; for
          HTML, as too many browsers don't support it; use "..." in a
          smaller font.

I do think <small>...</small> looks better than just ...  Try it.




reply via email to

[Prev in Thread] Current Thread [Next in Thread]