#119: update scaled images for documentation

This updates the scaled images that are used in the HTML user guide.

@hjoliver, please review.