Indices as top level

Makes it easier for a user to navigate to a particular index: now the list is always available in the sidebar.