Add proper error reports in write_random_seed, via the new 'nonfatal'
[sgt/putty] / doc / chm.css
2006-12-19 simonMinor style tweaks for the CHM.