Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | doc: for ps/pdf, use a smaller font for code | H. Peter Anvin (Intel) | 2020-06-27 | 1 | -13/+34 |
* | doc: add indented paragraphs, valid XHTML, CSS style sheet | H. Peter Anvin | 2017-04-13 | 1 | -3/+11 |
* | doc: improve the look of the documentation with better fonts | H. Peter Anvin | 2017-04-10 | 1 | -96/+29 |
* | psfonts.ph: increase leading to font size+20% | H. Peter Anvin | 2012-02-25 | 1 | -15/+15 |
* | doc: add a couple of stylistic alternatives | H. Peter Anvin | 2008-06-14 | 1 | -22/+83 |
* | ps/pdf doc: default to 10-point font, wider leading | H. Peter Anvin | 2008-06-11 | 1 | -7/+7 |
* | Use a fontset for the title. Change fonts to use Times throughout. | H. Peter Anvin | 2002-05-16 | 1 | -8/+15 |
* | Work in progress: new PostScript/PDF generator back end | H. Peter Anvin | 2002-05-14 | 1 | -0/+44 |