diff options
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-08-10 21:57:11 +0200 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-08-10 22:54:45 +0200 |
commit | 587a75116bd6b4b64fa0fb386fcb68df596c7356 (patch) | |
tree | 7539a822304bf8c1b671e70db077c8c0a02476e4 | |
parent | cd93f56e200320975ae45ca6e3f3583c9b2b7caf (diff) | |
download | sparse-587a75116bd6b4b64fa0fb386fcb68df596c7356.tar.gz |
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 <luc.vanoostenryck@gmail.com>
-rw-r--r-- | Documentation/sphinx/static/theme_overrides.css | 13 |
1 files changed, 13 insertions, 0 deletions
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; } |