docs: shrink images

This PR reduces the sizes of the images from the docs. The smaller images should help speed up the loading of the docs pages.