[PATCH 1/7] doc: use a smaller logo in the sidebar

[Luc Van Oostenryck <luc.vanoostenryck@gmail.com>]

The logo takes quite a bit height in the sidebar and so
pushes the table of content too much at the bottom.

Fix this by reducing the logo to 50%.

Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
---
 Documentation/conf.py                           | 8 +++++++-
 Documentation/sphinx/static/theme_overrides.css | 3 +++
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/Documentation/conf.py b/Documentation/conf.py
index 89ba3d785c7a..affa907346c0 100644
--- a/Documentation/conf.py
+++ b/Documentation/conf.py
@@ -113,7 +113,13 @@ except:
 # 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,
 # so a file named "default.css" will overwrite the builtin "default.css".
-# html_static_path = ['sphinx/static']
+html_static_path = ['sphinx/static']
+
+html_context = {
+    'css_files': [
+        '_static/theme_overrides.css',
+    ],
+}
 
 # Custom sidebar templates, must be a dictionary that maps document names
 # to template names.
diff --git a/Documentation/sphinx/static/theme_overrides.css b/Documentation/sphinx/static/theme_overrides.css
new file mode 100644
index 000000000000..8d6246e4202c
--- /dev/null
+++ b/Documentation/sphinx/static/theme_overrides.css
@@ -0,0 +1,3 @@
+.wy-side-nav-search > a img.logo {
+	width: 60%;
+}
-- 
2.28.0