More edits to index.html navigation.