For printing the full set of pages at this web site, a postscript file is available, in three formats: gzip compressed (about 70Kb), zip compressed (about 70Kb), or uncompressed (about 400Kb). Printing from this file is more convenient than printing each page using your web browser, and the result is better formatted.