Click on 'Print' to export as a PDF

In the dialog window, select 'Save as PDF', 'Save to PDF' or 'Print to file' depending on your browser. For best results, it's recommended to disable page margins, headers and footers.