html coding of the archive.html page