Re: @small... output in html

[Sergey Poznyakoff]

Hi Karl,

> Wdyt?

Yes, you have convinced me:)  Only one note:

> 1) I don't like @smallbook (and relatives).  It goes against logical
>    markup.  I don't think it should be used in any manual source or for
>    use on the web, only inserted when preparing something for an actual
>    physical print run. 

I agree wholly. However, it is seldom possible. Of corse, one can run
`texi2dvi -t @smallbook' but, in the majority of cases, one will have to
change all @examples to @smallexamples before doing so, otherwise lots
of overflow hboxes will be produced.

Regards,
Sergey