Le 08/01/2026 à 12:08, Patrice Dumas a écrit :
On Thu, Jan 08, 2026 at 11:40:16AM +0100, Thérèse Godefroy wrote:
[...]
The @group command is for affecting page breaks, which make no sense
in an HTML file, and so @group should have no user-visible effect in HTML.
@group is converted to <div class="group">. That's why I thought it
could be styled. The idea was to separate groups of commands for
clarity.
I removed this style.
If you don't want this texinfo command to affect HTML, you might
consider suppressing its conversion.
It should not affect HTML as traditionally read in a browser, with
everything on a page. But in other contexts, for example for an EPUB
reader where HTML is presented like a book, it could be relevant to keep
the information that there was a @group and use it in some way to avoid
a page break. I have no idea if this is actually doable nor how, but at
least in principle it could be useful.
Also, even though it is not what is described in the documentation, nor
how @group is used in general, we could imagine that in some cases, the
@group block could have a more semantic use, in which case having the
kind of CSS rules you proposed could be relevant.
That's what I thought, but there doesn't seem to be any consistency
across manuals in the use of @group (or @cartouche, @display*,
@example*, etc.) Trying to make all manuals look decent was a nightmare.
PSPP was the worst.
