revision of deploy

Signed-off-by: Ed Prosser <edward.prosser@r3.com>

docs/source/conf.py

@@ -146,8 +146,13 @@ 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 = {
+    'includehidden':True,
+    'collapse_navigation':False,
+    'sticky_navigation':True,
+    'titles_only':True
+}
 # Add any paths that contain custom themes here, relative to this directory.
 # html_theme_path = []
 
@@ -285,4 +290,3 @@ latex_elements = {
 
     'extraclassoptions' : 'openany',
 }
-