site_name: ANIS Documentation dev_addr: 0.0.0.0:8888 theme: readthedocs nav:
- Overview: index.md - Installation: installation.md
- Database: database.md
- Configuration: configuration.md - Search: search.md
