<?php
$type='TrueTypeUnicode';
$name='DejaVuSerif-BoldItalic';
$desc=array('Ascent'=>939,'Descent'=>-236,'CapHeight'=>-53,'Flags'=>96,'FontBBox'=>'[-906 -389 1760 1145]','ItalicAngle'=>-11,'StemV'=>120,'MissingWidth''';
$diff='';
$file='dejavuserifbitalic.z';
$ctg='dejavuserifbitalic.ctg.z';
$originalsize=302940;
// --- EOF ---