diff --git a/_static/theme_overrides.css b/_static/theme_overrides.css index 32dc98d49..2ad121b60 100644 --- a/_static/theme_overrides.css +++ b/_static/theme_overrides.css @@ -3,7 +3,18 @@ max-width: 1000px !important; } +/* override sidebar header and mobile nav background */ +.wy-side-nav-search, .wy-nav-top { + background-color: #1F1F1F; +} + /* override logo height */ .wy-side-nav-search > a img.logo { height: 40px; -} \ No newline at end of file +} + +/* hide header text, html_theme_options logo_only has no effect on the production system */ +.wy-side-nav-search > .icon-home { + font-size: 0; + margin-bottom: 10px; +} diff --git a/conf.py b/conf.py index c66f97da8..b0f8b02ab 100644 --- a/conf.py +++ b/conf.py @@ -120,10 +120,7 @@ # 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 = { - 'style_nav_header_background': '#1F1F1F', - 'logo_only': True, -} +#html_theme_options = {} # Add any paths that contain custom themes here, relative to this directory. #html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]