1 2 3 4 5 6 7 8 9 | <?php $type='TrueTypeUnicode'; $name='DejaVuSerif'; $desc=array('Ascent'=>928,'Descent'=>-236,'CapHeight'=>6,'Flags'=>32,'FontBBox'=>'[-770 -347 1679 1109]','ItalicAngle'=>0,'StemV'=>70,'MissingWidth'''; $diff=''; $file='dejavuserif.z'; $ctg='dejavuserif.ctg.z'; $originalsize=337444; // --- EOF --- |