style improvements of index.html