From 5d5b375c84cf873b8e86d47c1bbbf8b206a93498 Mon Sep 17 00:00:00 2001 From: Georg Brandl Date: Sun, 13 Oct 2013 09:56:20 +0200 Subject: Fix a small CSS glitch with deprecated blocks and Sphinx 1.2. --- Doc/tools/sphinxext/static/basic.css | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/Doc/tools/sphinxext/static/basic.css b/Doc/tools/sphinxext/static/basic.css index d6856f2..b4721e8 100644 --- a/Doc/tools/sphinxext/static/basic.css +++ b/Doc/tools/sphinxext/static/basic.css @@ -337,7 +337,11 @@ dl.glossary dt { .deprecated, .deprecated-removed { background-color: #ffe4e4; border: 1px solid #f66; - padding: 7px + padding: 7px; +} + +div.deprecated p { + margin-bottom: 0; } .system-message { -- cgit v0.12