conf.py

# -- Project information -----------------------------------------------------

project = "sphinx-proof"
copyright = "2025, QuantEcon Developers"
author = "QuantEcon Developers"
master_doc = "index"


# -- General configuration ---------------------------------------------------

# Add any Sphinx extension module names here, as strings. They can be
# extensions coming with Sphinx (named "sphinx.ext.*") or your custom
# ones.
extensions = [
    "sphinx_proof",
    "myst_parser",
    "sphinxcontrib.bibtex",
    "sphinx_togglebutton",
]

bibtex_bibfiles = ["references.bib"]

# Add any paths that contain templates here, relative to this directory.
templates_path = ["_templates"]

# List of patterns, relative to source directory, that match files and
# directories to ignore when looking for source files.
# This pattern also affects html_static_path and html_extra_path.
exclude_patterns = ["_build"]


# -- Options for HTML output -------------------------------------------------

# The theme to use for HTML and HTML Help pages.  See the documentation for
# a list of builtin themes.
#
html_theme = "sphinx_book_theme"


# Add any paths that contain custom static files (such as style sheets) here,
# relative to this directory. They are copied after the builtin static files,
# so a file named "default.css" will overwrite the builtin "default.css".
# html_static_path = ["_static"]

html_theme_options = {
    "path_to_docs": "docs",
    "repository_url": "https://github.com/executablebooks/sphinx-proof",
    "use_edit_page_button": True,
    "use_issues_button": True,
    "use_repository_button": True,
}

# sphinx-proof extension options
proof_minimal_theme = False

# MyST Parser Configuration

myst_enable_extensions = ["dollarmath", "amsmath"]

prf_realtyp_to_countertyp = {}