[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: How to reduce the font size of <screen>
for pdf output? How do I do change the font size and/or font family? Greetings, Joachim -- Joachim Ziegler Stuhlsatzenhausweg 85 Max-Planck-Institut für Informatik 66123 Saarbrücken, Germany Email: ziegler@mpi-sb.mpg.de Tel.: (+49) 0681 9325-127
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]