GitHub repository: Gurobi/gurobi-sphinxtheme
Primary language: Python
Description: Shared theme for the various Gurobi documentation projects using Sphinx