diff options
-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; } |