formatting of @sc in HTML

[Patrice Dumas]

Hello,

Currently @sc is formatted in HTML by putting the argument in <small>
and upper-casing the argument.  There is a CSS property, font-variant-caps
for small caps.  It may be relevant to use it instead of th ecurrent
setup.  However, when there is no CSS, for instance in text-based
browser, the result may not be so good.

Ideas, opinions?

-- 
Pat