scribble: fix HTML scaling of GIFs

Even without scaling, declare the size of a PNG or GIF in HTML
output.