On Sun, 19 May 2013, Gabriela Nodari wrote:
Thank you very much! Now it works! I will check the help to change
font
because it is not taking times bold with a large size.
I think you may need to use the no-spaces version of the font
name, as found in its afm file. "Times-Roman-Bold,13" works
here.
Allin Cottrell