I use this bookmarklet to download web pages in PDF format - the printed files are light and useful in situations where I have to send the full web page via email.
Bookmarklet Source Code:
javascript%3Avoid%28window.open%28%27http%3A//www.pdfdownload.org/web2pdf/Default.aspx%3Fleft%3D0%26right%3D0%26top%3D0%26bottom%3D0%26page%3D0%26cURL%3D%27+document.location.href%29%29%3B
