With the online manual open, right click on the manual and select "Print..." from the dropdown menu.
From the destination option on the left press "Change..."
From the menu of destination options select "Save as PDF"
Select "Save" and the manual will now be downloaded as a PDF
