H. Peter Anvin
c65035ecdb
psfonts.ph: increase leading to font size+20%
...
Increase the leading from +10% to +20%, (12 pt leading for the 10 pt
bulk text.)
Signed-off-by: H. Peter Anvin <hpa@zytor.com>
2012-02-25 15:46:38 -08:00
H. Peter Anvin
dfaa278cd5
doc: add a couple of stylistic alternatives
...
Add a few alternate font sets for the documentation. I would be
interested to see if anyone thinks they are better.
2008-06-14 12:09:25 -07:00
H. Peter Anvin
3d61238bf8
ps/pdf doc: default to 10-point font, wider leading
...
Switch the main font to 10 points Times Roman, but leave the leading
at 11 points. This produces, in my opinion, a much more legible and
printable document.
2008-06-11 18:09:02 -07:00
H. Peter Anvin
bede787f76
Use a fontset for the title. Change fonts to use Times throughout.
2002-05-16 02:11:21 +00:00
H. Peter Anvin
4ca9e3c0e4
Work in progress: new PostScript/PDF generator back end
2002-05-14 21:59:59 +00:00
