minor changes to restyled index.html