Re: @smallbook and friends

[Eli Zaretskii]

> Date: Mon, 28 Apr 2003 14:59:24 -0400
> From: address@hidden (Karl Berry)
> 
> (Actually, users would want Texinfo to compute that number for them ...)

Right.  And so if we go with Stephen's suggestion, I'd say we need to
make @example compute that parameter automatically to fit the line, if
the font used now for @example doesn't make it fit.  Then allow the
user to specify a parameter to override the font derived from that.

After all, I'd be surprised to hear that some authors deliberately
wants their @example lines to overflow the line length.

> I'm just not sure about the usefulness of the extra generality of
> allowing any number at all there.  What are the rules?  Never smaller
> than 5pt (say) and never larger than the text size, I guess.

Something like that.  You might even lift all limits altogether: if
they want ugly print-out, let them have it.