Coqide screenshots: no whitespace between html tags improves rendering

 With \n between <a> and <img>, firefox displays a small phantom
 red underline between each thumbnail images (for the whitespace in the link).