Closed dogoepp closed 4 years ago
If this is still a real problem for anyone, let's discuss and find a good solution. Hard-coding theme names is probably not the best approach. For now, I close this PR, but am happy to re-open/move this into an issue if needed.
I'm using a modified version of sphinx_rtd_theme which is called sphinx_resibots_theme. The changes are mostly stylistic, with some tweaks like user-defined links in the sidebar.
To support this theme, only one little change had to be made in your really cool project. However, I could understand that you don't want everyone's personal theme to be integrated in this project. Maybe an other option would be to use an option in the command line. Should I work in the latter direction ?
Thanks a lot for your time and this cool software