update the docs up to tools

2019-10-07 20:29:14 -07:00
parent 73252f323b
commit ef3efa69ef
12 changed files with 32 additions and 23 deletions
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -97,6 +97,7 @@ html_theme = 'sphinx_rtd_theme'
 #
 html_theme_options = {
    'collapse_navigation': False,
+    'logo_only': True,
 #    'display_version': True,
 #    'navigation_depth': 4,
 }