From ccfcb2a0fd3862a502bd0ffd9785b7bc6a729acc Mon Sep 17 00:00:00 2001
From: Stephan Rave <stephanrave@uni-muenster.de>
Date: Mon, 6 Jul 2020 15:44:12 +0200
Subject: [PATCH] [sphinx] set globaltoc_depth to 5

---
 docs/source/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/source/conf.py b/docs/source/conf.py
index a9ac8be72..6da674582 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -162,7 +162,7 @@ html_theme_options = {
     'css_minify': True,
     'nav_title': 'pyMOR Documentation',
     'logo_icon': '&#xe869',
-    'globaltoc_depth': 2,
+    'globaltoc_depth': 5,
     'theme_color': '58c9f5',
     'color_primary': 'light-blue',
     'color_accent': 'blue',
-- 
GitLab