Commit Graph

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