On Fri, 2 Sep 2016 10:26:33 -0700
Eric Holscher wrote:
> I'm happy to resend the whole patch, or feel free to simply edit my
> original with your suggested
> ``app.add_stylesheet('theme_overrides.css')`` line.
Please go ahead and send an updated patch. Then I'm sure I'll manage to
find some tim
On Fri, Sep 2, 2016 at 12:38 AM, Markus Heiser
wrote:
>
>
>
> >
> > Signed-off-by: Eric Holscher
> > ---
> > Documentation/conf.py | 14 --
> > 1 file changed, 8 insertions(+), 6 deletions(-)
> >
> > diff --git a/Documentation/conf.py b/Documentation/conf.py
> > index 96b7aa6..1707193
Hi Eric,
I'am happy to see you here ;-)
Am 02.09.2016 um 02:09 schrieb Eric Holscher :
> This uses the proper Sphinx add_stylesheet API for adding style overrides:
>
> http://www.sphinx-doc.org/en/stable/extdev/appapi.html#sphinx.application.Sphinx.add_stylesheet
>
> Previously,
> if a user h
On Fri, 02 Sep 2016, Eric Holscher wrote:
> This uses the proper Sphinx add_stylesheet API for adding style overrides:
>
> http://www.sphinx-doc.org/en/stable/extdev/appapi.html#sphinx.application.Sphinx.add_stylesheet
>
> Previously,
> if a user had any other `css_files` defined by extensions,
>
This uses the proper Sphinx add_stylesheet API for adding style overrides:
http://www.sphinx-doc.org/en/stable/extdev/appapi.html#sphinx.application.Sphinx.add_stylesheet
Previously,
if a user had any other `css_files` defined by extensions,
they would be overwritten by the `html_context` redefin
