index.html: reduce header size