3,899
edits
Changes
Jump to navigation
Jump to search
no edit summary
Why the alternate version of the font definitions that's commented out? I think that be deleted, or turned into an "alternately, use this" section, but which one?
Both font groups are part of the same cm-extra distribution, but the cmbtt{8,9,10} fonts are both newer and there are there 3 instead of 1. Users will normally have both, or none, so I propose to use the cmbttXX ones and delete the other set from the example.
--[[User:Taco|Taco]]
