Each image is stretched separately.  We could have left the stretch
at its default setting but in this case that would have resulted
in a washed-out background.</p>
</ul>
</td>
<td style="vertical-align: top;">
   <div style="text-align: center; background-color: #404080; padding: 10px;">
      <a href="images/python_color.png" target="_blank">
         <img style="margin:5px; background-color: #404080; width: 400px" src="images/python_color.png"/>
      </a><br/>
      <span style="color: #ffff00; font: it