[docs] Thank you for the font fix

Sigrist nsigrist at gmail.com
Mon Dec 4 22:22:37 EST 2017


Thank you for eliminating the Type 3 fonts from the docs -- much nicer now to read with the Type 1 fonts. Great documentation set. 
-- Norbert


More information about the docs mailing list