Re: Vertical spacing between @deffn output and preceding text

On Sunday, July 19th, 2026 at 1:57 PM, Patrice Dumas <[email protected]> wro=
te:=20
> That would be possible, but it seems to me that it is less practical:
> 1) the \changefontsize comand can happen where @fonttextsize is, for a
>    LaTeX document looking more like the Texinfo code
> 2) there is a customization variable for the beginning of the LaTeX
>    document, CLASS_BEGIN_USEPACKAGE, but it is more practical to add
>    to the preamble in a @latex block the code Dimitris added.
>=20
> Actually, I would prefer if
>=20
>  @fonttextsize 12
>=20
> was allowed in Texinfo for LaTeX and possibly other similar formats.
> The documentation could either clearly state that Texinfo TeX ignores
> the @-command if value is not 10 or 11, or be more fuzzy in the
> documentation stating that depending on the possibility of the output
> format unsupported font size may be ignored (my preference).

This sounds like a reasonable approach to me too, for what it's worth.  Why
restrict possible settings, if the underlying system supports them?

Dimtris