Images now scale in HTML documentation