aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/Documentation/sphinx/static
AgeCommit message (Collapse)AuthorFilesLines
2020-08-10doc: decrease vertical spacingLuc Van Oostenryck1-0/+13
The vertical spacing in the generated HTML is a bit excessive to my taste. So decrease it somehow, especially the top of lists. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2020-08-10doc: make the sidebar more compactLuc Van Oostenryck1-0/+4
There is generous spacing in the sidebar, too generous. So, reduce it to something more compact, which will also allow more entries without scrolling. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2020-08-10doc: use a smaller logo in the sidebarLuc Van Oostenryck1-0/+3
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>