Thanks Leto for your analysis. I did have the detect all 
links option on when I tried to download, so that did not 
help. However, I tried adding the URLs for the two js files 
as additional URLs and doing that I managed to get the 
files, albeit the display was a bit altered (probably their 
css files are just as bad as the rest of their coding?).