From e1c7e9d481ab9967b7dee0860662d25556b5f587 Mon Sep 17 00:00:00 2001 From: Takeshi KOMIYA Date: Wed, 22 Apr 2020 23:37:44 +0900 Subject: [PATCH] Fix #7534: docs: Big vertical whitespace rendered in official doc --- doc/_themes/sphinx13/static/sphinx13.css | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/_themes/sphinx13/static/sphinx13.css b/doc/_themes/sphinx13/static/sphinx13.css index 131657eb7..7c1d46e83 100644 --- a/doc/_themes/sphinx13/static/sphinx13.css +++ b/doc/_themes/sphinx13/static/sphinx13.css @@ -127,6 +127,7 @@ div.sphinxsidebar { float: right; font-size: 1em; text-align: left; + max-height: 0px; } div.sphinxsidebar .logo {