Avoid in-page toctrees. Move all navigation to sidebar