We're starting to grow differing requirements for docs.gurobi.com compared to open-source projects that just want to use the customized theme colours. Rather than continuing to add options which need to be manipulated by other projects, we should split off the components for docs.gurobi.com.
Todo:
Create a second package within this repo, which is installed side by side with the theme
The new package should define a new theme which depends on gurobi_sphinxtheme
simonbowly
commented
3 days ago
We're starting to grow differing requirements for docs.gurobi.com compared to open-source projects that just want to use the customized theme colours. Rather than continuing to add options which need to be manipulated by other projects, we should split off the components for docs.gurobi.com.
Todo: