4 commits

Author	SHA1	Message	Date
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