/* an empty html cover page */