Minor change to fix RTD
# add these directories to sys.path here. If the directory is relative to the
# documentation root, use os.path.abspath to make it absolute, like shown here.
-# import sphinx_rtd_theme
+import sphinx_rtd_theme
import os, subprocess
# import sys
# sys.path.insert(0, os.path.abspath('.'))
@@ -87,16 +87,20 @@ todo_include_todos = False
# The theme to use for HTML and HTML Help pages. See the documentation for
# a list of builtin themes.
#
-# html_theme = "sphinx_rtd_theme"
-# html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
+html_theme = 'sphinx_rtd_theme'
+html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
# 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
# documentation.
#
-# html_theme_options = {}
+
+html_theme_options = {
+ 'logo_only': True,
+}
+html_logo = '_static/img/logo.png'
html_favicon = "_static/img/favicon.ico"
# Add any paths that contain custom static files (such as style sheets) here,
@@ -108,10 +112,6 @@ html_static_path = ['_static']
on_rtd = os.environ.get('READTHEDOCS', None) == 'True'
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()]
-
# Override default css to get a larger width for local build
def setup(app):
app.add_stylesheet('css/osqp_theme.css')
@@ -123,11 +123,7 @@ else:
'_static/css/osqp_theme.css'],
}
-html_logo = '_static/img/logo.png'
-html_theme_options = {
- 'logo_only': True,
-}
# -- Options for HTMLHelp output ------------------------------------------
