I thought it was lazy resizing in an image editor, but it turns out it's just bad CSS.
They have a "max-width" on "BODY IMG", but then some script or some deployment process added "width:" and "height:" on each image individually.
The max-width alone would resize the image nicely, but the presence of the "height:" causes the vertical stretch.
(Sorry, the web-debugger in me kicks in without being asked.)
I thought it was lazy resizing in an image editor, but it turns out it's just bad CSS.
They have a "max-width" on "BODY IMG", but then some script or some deployment process added "width:" and "height:" on each image individually.
The max-width alone would resize the image nicely, but the presence of the "height:" causes the vertical stretch.
(Sorry, the web-debugger in me kicks in without being asked.)