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 /char.h | |
| parent | 6fe6d05b56815966b452b0363c9ffd11e1787f85 (diff) | |
| download | sparse-dev-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>
Diffstat (limited to 'char.h')
0 files changed, 0 insertions, 0 deletions