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@xxxxxxxxx>
---
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 8791046c9013..3e4bc3b0223a 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;
}
--
2.28.0
