GLOBAL_FONT_SIZE  125 src/prt2pdf/prt2pdf.c static float  GLOBAL_FONT_SIZE;
GLOBAL_FONT_SIZE  385 src/prt2pdf/prt2pdf.c       x1 = GLOBAL_PAGE_MARGIN_LEFT - 0.1 * GLOBAL_FONT_SIZE;
GLOBAL_FONT_SIZE  390 src/prt2pdf/prt2pdf.c   yyy1 = GLOBAL_PAGE_DEPTH - GLOBAL_PAGE_MARGIN_TOP - height - 0.22 * GLOBAL_FONT_SIZE;
GLOBAL_FONT_SIZE  504 src/prt2pdf/prt2pdf.c   (void)printf ("BT\n/F0 %g Tf\n", GLOBAL_FONT_SIZE);
GLOBAL_FONT_SIZE  806 src/prt2pdf/prt2pdf.c               float char_width = GLOBAL_FONT_SIZE * 0.6;
GLOBAL_FONT_SIZE  851 src/prt2pdf/prt2pdf.c                           (void)printf ("/F%d %g Tf\n", is_bold ? 1 : 0, GLOBAL_FONT_SIZE);
GLOBAL_FONT_SIZE 2169 src/prt2pdf/prt2pdf.c   GLOBAL_FONT_SIZE = GLOBAL_LEAD_SIZE;