Re: formatting of @sc in HTML

2023-03-12 Thread Arsen Arsenović
Gavin Smith writes: > I have a collection of about 200 Texinfo manuals that I scraped in > January 2021, so I thought it was worth seeing how @sc was used in > practice. > > It is pretty common to use @sc with a lower case argument where the > argument is intended to be in upper case. Some exam

Re: formatting of @sc in HTML

2023-03-11 Thread Eli Zaretskii
> From: Gavin Smith > Date: Sat, 11 Mar 2023 22:04:55 + > Cc: Patrice Dumas , bug-texinfo@gnu.org > > It is pretty common to use @sc with a lower case argument where the > argument is intended to be in upper case. The Texinfo manual says: TeX typesets any uppercase letters between the

Re: formatting of @sc in HTML

2023-03-11 Thread Arsen Arsenović
Patrice Dumas writes: > Hello, > > Currently @sc is formatted in HTML by putting the argument in > 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 insta

formatting of @sc in HTML

2023-03-09 Thread Patrice Dumas
Hello, Currently @sc is formatted in HTML by putting the argument in 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 resul