| commit | 70b070f952be06f373f0554afa1c73b4bd3ef898 | |
| author | H. Peter Anvin <hpa@zytor.com> | |
| Mon, 10 Apr 2017 13:35:29 +0000 (10 06:35 -0700) | ||
| committer | H. Peter Anvin <hpa@zytor.com> | |
| Mon, 10 Apr 2017 13:35:29 +0000 (10 06:35 -0700) | ||
| tree | ae07ebe9b5816a2b29222d966a536d5e19a597f0 | treesnapshot (tar.gz zip) |
| parent | 92ae33b1b34af0d7df0d6bf2a52635ca393831a7 | commitdiff |
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>
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>
50 files changed: