Bug#915583: patch for debian style

2023-12-15 Thread Sean Whitton
Hello, On Mon 27 Nov 2023 at 11:36pm +01, Stéphane Blondon wrote: > Hello, > > the attached file (debian.css) sets up the custom style. > > In order to work: > - add the 'python3-sphinx-rtd-theme' package to the dependencies > - in `conf.py.in`, replace: >html_theme = 'nature' >by >

Bug#915583: patch for debian style

2023-11-27 Thread Stéphane Blondon
Hello, the attached file (debian.css) sets up the custom style. In order to work: - add the 'python3-sphinx-rtd-theme' package to the dependencies - in `conf.py.in`, replace: html_theme = 'nature' by html_theme = 'sphinx_rtd_theme' The generated conf.py file must contain: # Overwrite