From 587a75116bd6b4b64fa0fb386fcb68df596c7356 Mon Sep 17 00:00:00 2001 From: Luc Van Oostenryck Date: Mon, 10 Aug 2020 21:57:11 +0200 Subject: doc: decrease vertical spacing 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 --- Documentation/sphinx/static/theme_overrides.css | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/Documentation/sphinx/static/theme_overrides.css b/Documentation/sphinx/static/theme_overrides.css index 8791046c..3e4bc3b0 100644 --- a/Documentation/sphinx/static/theme_overrides.css +++ b/Documentation/sphinx/static/theme_overrides.css @@ -1,3 +1,16 @@ +p { + margin-bottom: 0.6em; +} + +ul.simple { + margin-top: -0.5em; + margin-bottom: 0.5em; +} + +.rst-content .toctree-wrapper ul { + margin-bottom: 0.5em; +} + .wy-menu-vertical a, .wy-menu-vertical li.current > a, .wy-menu-vertical p.caption { padding: 0.2em 1.2em; } -- cgit 1.2.3-korg