body { margin-left: 4ex; width: 1024px; }
img { margin-bottom: 10px; }
pre { font-weight: bold; }