download cutepdf
install it and its print driver.
log into portal, click hte print application button, you'll get a printable view, print and select "cutepdf writer" as your printer rather than your normal printer if you have it. click print and you'll get option to save the file.