On Fri, Jul 17, 2026 at 12:32:51PM +0100, Gavin Smith wrote:
> On Fri, Jul 17, 2026 at 09:41:45AM +0000, Dimitris Papavasiliou wrote:
> > Since we're on the subject, how would I
> > best go about changing the font size in Latex to 12pt? The
> > `@fontsize` command only supports 10 or 11pt. I've added
> >
> > \usepackage{fontsize}
> > \changefontsize{12}
> >
> > to my LaTex preamble, which seems to get the job done, but perhaps
> > there's a more appropriate way to do it?
>
> I am not an expert on LaTeX. My go-to resource is "An unofficial
> reference manual" (https://latexref.xyz/).
>
> The following page suggests you can use a "12pt" option in a
> "document size option":
>
> https://latexref.xyz/Font-sizes.html
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.
Actually, I would prefer if
@fonttextsize 12
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).
--
Pat
