diff options
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-08-10 21:32:07 +0200 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-08-10 22:48:33 +0200 |
commit | 4b41c2cd2636cee444b7b978a03ad81168952c84 (patch) | |
tree | 024967d5e911beeedb5b0cc6ad80d6e3c2e4c5d5 | |
parent | 6fe6d05b56815966b452b0363c9ffd11e1787f85 (diff) | |
download | sparse-4b41c2cd2636cee444b7b978a03ad81168952c84.tar.gz |
doc: use a smaller logo in the sidebar
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>
-rw-r--r-- | Documentation/conf.py | 8 | ||||
-rw-r--r-- | Documentation/sphinx/static/theme_overrides.css | 3 |
2 files changed, 10 insertions, 1 deletions
diff --git a/Documentation/conf.py b/Documentation/conf.py index 89ba3d78..affa9073 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 00000000..8d6246e4 --- /dev/null +++ b/Documentation/sphinx/static/theme_overrides.css @@ -0,0 +1,3 @@ +.wy-side-nav-search > a img.logo { + width: 60%; +} |