minimal customisation of index.html