Fix documentation and nav formating