Re: texinfo bug or user error: dots inside example

[Eli Zaretskii]

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.