Fixed page margins in Document PDFs

A Document downloaded as a PDF printed its text from the very edge of each page, and its header and footer fell outside the page. The PDF now uses the margins chosen in File → Page setup, and the header, footer and page numbers show in the margins.