Re: Changing the Font Size

Moshe Idan <[email protected]>
Newsgroups gmane.comp.graphics.ipe.general
Message-ID <[email protected]>
Perfect, it works. I was hoping for something simpler, but since you do it once, no big deal.
Thanks,
M

On 13-Oct-14 10:49, Guillaume Salagnac wrote:
>
> http://www.latex-community.org/forum/viewtopic.php?f=5&t=3477 suggests:
>
> \makeatletter
> \renewcommand*\@ptsize{2}
> \let\small\relax
> \let\footnotesize\relax
> \let\scriptsize\relax
> \let\tiny\relax
> \let\large\relax
> \let\Large\relax
> \let\LARGE\relax
> \let\huge\relax
> \input{size1\@ptsize.clo}
> \makeatother
>
> which works for me.
>
> Cheers,
> -G
>
>
> Le 12 oct. 2014 à 18:44, Moshe Idan <[email protected]> a écrit :
>
>> Hi,
>>
>> In reply to a query entitled "Changing the Font Size", Otfried's reply (dated June 17, 2013) was to include the preamble:
>>
>> \makeatletter
>> \input{scrsize11pt.clo}
>> \makeatother
>>
>> In MikTeX 2.9 scrsize11pr.clo does not exist. Now there are files size10.clo, size11.clo, and size12.clo. When I tried to used the preamble:
>>
>> \makeatletter
>> \input{size12.clo}
>> \makeatother
>>
>> I got tons of LaTeX errors of the form:
>>
>> ! LaTeX Error: Command \small already defined.
>>                 Or name \end... illegal, see p.192 of the manual.
>>
>> Basically it means that size12.clo defines all the font sizes which are already defined and hence cannot be re-defined using the regular \newcommand command. (By the way, it uses \renewcommand for the normal size, hence only the other font sizes get errors.)
>>
>> So the question is how to change the default font size from the default, which I assume is 10 pt.
>>
>> Thanks,
>> Moshe
>>
>>
>> _______________________________________________
>> Ipe-discuss mailing list
>> Ipe-discuss-rGrgPyRx506NN8uzcEdRPYRWq/[email protected]
>> http://lists.science.uu.nl/mailman/listinfo/ipe-discuss
>
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.