From 21721b6be564a95643e4f42669a22e271e0121f9 Mon Sep 17 00:00:00 2001 From: Georg Brandl Date: Sun, 13 Oct 2013 09:56:20 +0200 Subject: [PATCH] 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 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 { -- 2.50.1