3 commits

Author	SHA1	Message	Date
H. Peter Anvin	fac516d1e5	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-15 21:10:45 -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