Commit graph

7 commits

Author SHA1 Message Date
H. Peter Anvin
5194f77bfd doc: add indented paragraphs, valid XHTML, CSS style sheet
Add indented paragraphs, which can be used to continue an item in a
bulleted list.

Produce valid strict XHTML, and include a style sheet with a navbar
and other fancy things.

Remove archaic output formats.  Now only text, XHTML, and PDF are
supported.

Signed-off-by: H. Peter Anvin <hpa@linux.intel.com>
2017-04-13 22:12:05 -07:00
H. Peter Anvin
70b070f952 doc: improve the look of the documentation with better fonts
Use the Adobe Source Sans/Code Pro fonts by default.  They are Open
Source fonts by Adobe.  However, since these fonts are quite large,
let them be an external dependency and do our best to try to find them
with whatever mechanism is available on the system for finding
standard fonts.

Also have a list of substitution fonts if necessary.

Signed-off-by: H. Peter Anvin <hpa@zytor.com>
2017-04-10 06:35:29 -07:00
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