Am Samstag, den 17.10.2020, 11:58 +0200 schrieb Werner LEMBERG: > Folks, > > some time ago I reported font problems in the documentation (this is, > using fonts that are either not optimal, or not freely available). > > The basic question is which route we should go. > > * Reduce the number of extra fonts as much as possible to not increase > the size of the documentation additionally. [Not much a problem I > think since most fonts will be subsetted by ghostscript.]
I'd prefer to focus on fonts that are widely available. DejaVu and Libertine are, I'm not sure about Iosevka and Libertinus (but maybe the packages just have different names?). Source Sans and Source Serif are by Adobe, are there equivalent replacements? > * Be as diverse as possible. Jonas
signature.asc
Description: This is a digitally signed message part
