Fix indentation in archive.html.