add extra documentation CSS on RTD

This commit is contained in:
Wenzel Jakob 2015-12-07 18:25:38 +01:00
parent f1532bd31c
commit bda3b67dc5
2 changed files with 10 additions and 15 deletions

View File

@ -116,25 +116,20 @@ if not on_rtd: # only import and set the theme if we're building docs locally
import sphinx_rtd_theme import sphinx_rtd_theme
html_theme = 'sphinx_rtd_theme' html_theme = 'sphinx_rtd_theme'
html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
html_context = { html_context = {
'css_files': [ 'css_files': [
'.static/theme_overrides.css', '_static/theme_overrides.css'
]
}
else:
html_context = {
'css_files': [
'//media.readthedocs.org/css/sphinx_rtd_theme.css',
'//media.readthedocs.org/css/readthedocs-doc-embed.css',
'_static/theme_overrides.css'
] ]
} }
#import alabaster
#html_theme_path = [alabaster.get_path()]
#extensions = ['alabaster']
#html_theme = 'alabaster'
#html_sidebars = {
#'**': [
#'about.html',
#'navigation.html',
#'relations.html',
#'searchbox.html'
#]
#}
# Theme options are theme-specific and customize the look and feel of a theme # 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 # further. For a list of options available for each theme, see the