Describe the issue
The theme we are using is a modified version of rphinx_rtd_theme but it was never updated. It is necessary to move our customisation in a separate file and use the RTD theme in order to keep it updated.
Moreover, as it requires a change in the templates, we'll update the contact information as well.
Describe the issue The theme we are using is a modified version of rphinx_rtd_theme but it was never updated. It is necessary to move our customisation in a separate file and use the RTD theme in order to keep it updated.
Moreover, as it requires a change in the templates, we'll update the contact information as well.