Re: @smallbook and friends

[Stephen Gildea]

I agree that having all @example's in @smallbook be smaller than the
main text is undesirable.

The problem here is that we are trying to guess the author's intent, and
we can't really.  @example is underspecified in terms of what font size
it uses.  Probably authors have tweaked their examples until they
worked, and we shouldn't break them.

Perhaps there is room for a new command that allows authors to request a
specified number of characters per line.  Call it @sizedexample, and it
takes one argument: the number of characters that should fit on a line.
Texinfo then tries to select a size of fixed-width font that gives at
least that many characters per line.

@sizedexample 60
In this example, the author has requested a font that allows
60-character lines.  That is short enough that Texinfo can
probably use the normal, 10pt font with most page sizes.
@end sizedexample