[sphinx.html_themes]
ampl_sphinx_theme = ampl_sphinx_theme
