@@ -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.
new file mode 100644
@@ -0,0 +1,3 @@
+.wy-side-nav-search > a img.logo {
+ width: 60%;
+}
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(-)