[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [help-texinfo] Changing font size for dvi/pdf output
|
From: |
Karl Berry |
|
Subject: |
Re: [help-texinfo] Changing font size for dvi/pdf output |
|
Date: |
Wed, 16 Nov 2005 12:26:01 -0600 |
Does anyone know how to change the font size for DVI/PDF output. The
default base font size seems to be 10 points and I would like to change
it to 11 points.
Actually the default in Texinfo is 11pt -- more precisely magstephalf,
10.95pt.
If you want to increase it, edit texinfo.tex and change the definition
of \mainmagstep to your desired size.
HTH,
karl