View Single Post
Old 04-15-2014, 08:57 AM   #12
8140david
Connoisseur
8140david began at the beginning.
 
Posts: 54
Karma: 10
Join Date: Mar 2014
Device: none
Next thing would be trimming the DejaVuSans font to keep only the 10 or so mathematical symbols I need (to reduce size).
I've tried to do so online with the font generator here:
http://www.fontsquirrel.com/tools/webfont-generator
But so far, it doesn't trim: the output is as big as the input, whatever 'expert' settings I choose.

Last edited by 8140david; 04-15-2014 at 09:07 AM.
8140david is offline   Reply With Quote