GLOBAL_PAGE_MARGIN_BOTTOM  130 src/prt2pdf/prt2pdf.c static float  GLOBAL_PAGE_MARGIN_BOTTOM;
GLOBAL_PAGE_MARGIN_BOTTOM  396 src/prt2pdf/prt2pdf.c   while (yyy1 >= (GLOBAL_PAGE_MARGIN_BOTTOM - height))
GLOBAL_PAGE_MARGIN_BOTTOM 2168 src/prt2pdf/prt2pdf.c   GLOBAL_LEAD_SIZE = (GLOBAL_PAGE_DEPTH - GLOBAL_PAGE_MARGIN_TOP - GLOBAL_PAGE_MARGIN_BOTTOM) / GLOBAL_LINES_PER_PAGE;
GLOBAL_PAGE_MARGIN_BOTTOM 2541 src/prt2pdf/prt2pdf.c   GLOBAL_PAGE_MARGIN_BOTTOM = 36.0 - 24.0;
GLOBAL_PAGE_MARGIN_BOTTOM 2650 src/prt2pdf/prt2pdf.c         GLOBAL_PAGE_MARGIN_BOTTOM = strtod (optarg, NULL) * GLOBAL_UNIT_MULTIPLIER;