[Therion] Font size

[Martin Budaj]

On Fri, Jan 30, 2009 at 7:03 AM, Bruce Mutton
<bruce.mutton at paradise.net.nz> wrote:
> code metapost
>
> fonts_setup(6,8,10,14,20);
>
> The sizes selected above are, I think, the defaults used by Therion, and so
> I would expect the pdf documents produced to be identical to those without
> the above code.
>
> As it turns out the fonts produced with the above are significantly larger
> (although more closely matching the stated font sizes).

Therionbook gives just an example; the defaults are 5,6,7,8,10. I will
add a note about it.

Martin