doc/conf: remove some rtd_theme options

These options are not essential and they are only supported with newer versions of the theme, which are unavailable in older distributions.

doc/conf: remove some rtd_theme options
612c09dc · Tomas Krizek · b09779cd · 612c09dc
Verified Commit 612c09dc authored 5 years ago by Tomas Krizek
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -61,8 +61,6 @@ html_theme_options = {
    # Toc options
    'collapse_navigation': False,
    'sticky_navigation': True,
-    'navigation_depth': 3,
-    'includehidden': False,
 }
 html_logo = '_static/logo-negativ.svg'