[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: small* commands alias in classes in HTML?
|
From: |
Gavin Smith |
|
Subject: |
Re: small* commands alias in classes in HTML? |
|
Date: |
Sat, 15 Jan 2022 23:32:03 +0000 |
|
User-agent: |
Mutt/1.9.4 (2018-02-28) |
On Wed, Jan 12, 2022 at 02:50:07PM +0100, Patrice Dumas wrote:
> Hello,
>
> Currently in HTML the information that an @command is a @small variant
> is completly lost. Shouldn't the small variant be added in the classes
> together with the normal variant?
I've no objection to this. For example @smallexample could be output with
both classes 'example' and 'smallexample'. This would mean people could
customize the output with CSS if they really needed to.
My main objection before to treating @small* separately was the CSS
rules output in every HTML file for these commands, but now CSS is
output on demand it is not getting in the way any more. I don't mind
whether there are inbuilt rules output for @small*, although I don't
think it is necessary that there are.