docker/docker — pull request #8037 by unclejack (2014-09-15 12:20:10+00:00)
Title: 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.