% BasicPrint.style % last written by Plass, July 16, 1982 10:12 am BeginStyle (bp) "big point" {72.0 .div in} StyleRule (pageNumbers) .true .def (PageBuilder) {StartPageCounter {GetPage pageNumbers {.fill GetPageCounter 3 9.5 in .vboxto} .cvx .if .shipout IncrPage}.cvx .loop}.cvx .def (GetPage) {.page .not {.exit}.cvx .if}.cvx .def (StartPageCounter) {(PageCount) 1 .def}.cvx .def (GetPageCounter) {.fill (Helvetica) 10 bp .textfont PageCount 1 .eq .not {PageCount .cvs}.cvx {""}.cvx .ifelse .textbox .fill 3 6.5 in .hboxto}.cvx .def (IncrPage) {(PageCount) PageCount 1 .add .def}.cvx .def EndStyle