From: Georg Brandl Date: Sun, 13 Oct 2013 07:56:20 +0000 (+0200) Subject: Fix a small CSS glitch with deprecated blocks and Sphinx 1.2. X-Git-Tag: v2.7.6rc1~40 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=21721b6be564a95643e4f42669a22e271e0121f9;p=python Fix a small CSS glitch with deprecated blocks and Sphinx 1.2. --- diff --git a/Doc/tools/sphinxext/static/basic.css b/Doc/tools/sphinxext/static/basic.css index f05e35a314..89e4d7723d 100644 --- a/Doc/tools/sphinxext/static/basic.css +++ b/Doc/tools/sphinxext/static/basic.css @@ -337,7 +337,11 @@ dl.glossary dt { .deprecated { background-color: #ffe4e4; border: 1px solid #f66; - padding: 7px + padding: 7px; +} + +div.deprecated p { + margin-bottom: 0; } .system-message {