project = "panda-rpki"
copyright = "2026, panda-rpki contributors"
author = "panda-rpki contributors"
release = "0.1.0"
language = "en"

extensions = []
templates_path = []
exclude_patterns = ["_build"]

html_theme = "sphinx_rtd_theme"
html_title = "panda-rpki documentation"
html_static_path = []
html_theme_options = {
    "navigation_depth": 3,
    "collapse_navigation": False,
}