From 42e9a77f5bfc6c256dbc3763be4154080e86d290 Mon Sep 17 00:00:00 2001 From: Thomas Waldmann Date: Fri, 20 Nov 2015 19:32:04 +0100 Subject: [PATCH] style changes of previous changeset did not work on rtd, try 2 --- docs/conf.py | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/docs/conf.py b/docs/conf.py index e5ce40f8f..9c862cc53 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -99,6 +99,15 @@ if not on_rtd: # only import and set the theme if we're building docs locally import sphinx_rtd_theme html_theme = 'sphinx_rtd_theme' html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] + html_style = 'css/borg.css' +else: + html_context = { + 'css_files': [ + 'https://media.readthedocs.org/css/sphinx_rtd_theme.css', + 'https://media.readthedocs.org/css/readthedocs-doc-embed.css', + '_static/css/borg.css', + ], + } # Theme options are theme-specific and customize the look and feel of a theme # further. For a list of options available for each theme, see the @@ -128,7 +137,6 @@ html_favicon = '_static/favicon.ico' # relative to this directory. They are copied after the builtin static files, # so a file named "default.css" will overwrite the builtin "default.css". html_static_path = ['borg_theme'] -html_style = 'css/borg.css' # If not '', a 'Last updated on:' timestamp is inserted at every page bottom, # using the given strftime format.