This series contains some adjustment to the spacing in the generated HTML and some small changes in the content of the main page. Luc Van Oostenryck (7): doc: use a smaller logo in the sidebar doc: make the sidebar more compact doc: decrease vertical spacing doc: move down info about tarballs, after git repositories doc: reorganize the table of content doc: use shorter titles doc: add links to some external doc Documentation/IR.rst | 4 +-- Documentation/conf.py | 8 +++++- Documentation/dev-options.rst | 4 +-- Documentation/doc-guide.rst | 4 +-- Documentation/index.rst | 26 +++++++++++-------- .../sphinx/static/theme_overrides.css | 20 ++++++++++++++ Documentation/types.rst | 6 ++--- 7 files changed, 51 insertions(+), 21 deletions(-) create mode 100644 Documentation/sphinx/static/theme_overrides.css base-commit: 6fe6d05b56815966b452b0363c9ffd11e1787f85 -- 2.28.0
