Ah, that’s good to know, I didn’t realise that blog sites were filtered by some networks.

I’ll look at adding in a dedicated PDF download option, but for now, you should be able to get reasonable results by selecting ‘Print’ from the File menu and then using one of the available options for printing to a file. On Linux, and also I believe Macs there is a print to PDF option which works well. On Windows there should be a Microsoft XPS Document Writer option. I’ve not used XPS files in the past, but it worked well when I tried it on Windows 7, and I assume that an XPS viewer is provided on most versions of Windows. Alternatively this tutorial shows you how to add a print to PDF option to Windows for free.

Please let me know how you get on with this, if you have major problems then I can post PDF versions manually. Also, just out of interest, can you access this readthedocs site on your school network? We’re planning to create a definitive manual at some point using this site as it also provides the option to download as PDF, so it would be good to know if it’s visible.

Regards

Alan