From a089c49abcb60e6ed9f76a79c306ea69dc3eec0f Mon Sep 17 00:00:00 2001
From: Anno Knierim <anno.knierim@tu-dortmund.de>
Date: Mon, 17 Jul 2023 15:48:56 +0200
Subject: [PATCH] Add sidebar to all pages

---
 docs/conf.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/conf.py b/docs/conf.py
index 013d99135dc..8c36fd896ae 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -220,6 +220,10 @@ def setup(app):
     ],
 }
 
+html_sidebars = {
+    "**": ["sidebar-nav-bs.html", "sidebar-ethical-ads.html"]
+}
+
 
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,