text_size         446 src/prt2pdf/prt2pdf.c       float text_size = 20.0;
text_size         451 src/prt2pdf/prt2pdf.c       charwidth = text_size * 0.60; /* assuming fixed-space font Courier-Bold */
text_size         453 src/prt2pdf/prt2pdf.c       yvalue = GLOBAL_PAGE_DEPTH - text_size;
text_size         457 src/prt2pdf/prt2pdf.c       (void)fprintf (stdout, "BT /F1 %f Tf %f %f Td", text_size, xvalue, yvalue);