Re: @small* commands alias in HTML are problematic

[Werner LEMBERG]

>> I don't want special CSS to be added by default for any of the
>> @small* commands, although I'm not opposed to a "small" class being
>> added for them.
> 
> Even if nothing is done in the default case, which I think is the
> best if we want thos @-command to disappear someday, the information
> should be present such that it can be done in user defined
> replacement functions for the formatting.

It's not clear to me why you are so opposed to the @small variants.  I
consider them *very* useful for both the HTML and the PDF output
(especially the latter).

IMHO, the 'smallness' is more than just a stylistic thing.  While
mainly used for horizontally large examples, another application could
be to mark paragraphs as 'technical' or the like, to be skipped by
ordinary users.

I think it is a bad idea if texinfo shifts the responsibility for
setting up those 'small' things completely to the user.  Whatever you
are planning for texinfo, you definitely should provide some useful
defaults to not lose this capability.


    Werner