our @bigpaperpts = ();
our $fontname_num = 'Helvetica';
our $fontscale_num = 0.8;
-our $fontname = 'Courier';
+our $fontname = 'Helvetica';
our $gapratio = 1.5;
our $lineratio = 1;
our $blankratio = 1.0;
prf "grestore\n";
}
}
+ prf "showpage\n";
}
readstrings();