Add navigation for file format docs